"COQ"

の検索結果

コース (0)

記事 (7)

用語集 (0)

從Silly Dragon到Minu,一覽各條公鏈上的代錶性Meme項目
新手

從Silly Dragon到Minu,一覽各條公鏈上的代錶性Meme項目

本文介紹各供鏈上的迷因代錶項目。
1/9/2024, 11:08:41 AM
Gate 研究院:阿根廷總統因 LIBRA 代幣崩盤被控欺詐,索尼 L2 項目Soneium 網絡鎖定價值突破 5,000 萬美元
進階

Gate 研究院:阿根廷總統因 LIBRA 代幣崩盤被控欺詐,索尼 L2 項目Soneium 網絡鎖定價值突破 5,000 萬美元

Gate 研究院日報:2 月 17 日,比特幣價格下跌 1.29% 至 96,349.1 美元,以太坊價格下跌 0.78% 至 2,677.21 美元。 Soneium 網絡 TVS 突破 5,000 萬美元。Pump.fun 昨日協議費用收入較歷史峰值降超 85%。 比特幣網絡活動降至 12 個月低點。 Jane Street 收購比特幣礦商 Iris Energy 6% 股份。 阿根廷總統因 $LIBRA 代幣崩盤被控欺詐。 美國 12 州押注比特幣巨頭 Strategy。
2/17/2025, 10:32:31 AM
什麼是智能合約的形式化驗證?
進階

什麼是智能合約的形式化驗證?

智能合約已經成為區塊鏈技術中至關重要的一部分,因為它們啟動的自動化流程允許輕鬆繞過中間人和相關的第三方,使系統更有效、更高效、更可靠。然而,隨著智能合約不斷發展,承認形式化驗證在確保增強安全性和可靠性方面的必要性至關重要。
10/7/2024, 9:48:23 AM
MEME Coin 2023 年度研究報告:MEME,一種反 VC、反常規精神和態度的載體
新手

MEME Coin 2023 年度研究報告:MEME,一種反 VC、反常規精神和態度的載體

本文將爲大家回顧 2023 年最值得關註的 5 個 MEME 項目。
2/8/2024, 3:44:58 AM
智能合約的形式化驗證
中級

智能合約的形式化驗證

本文涵蓋了形式化驗證的各個方麵,包括形式化模型、形式化規範,以及模型檢查、定理證明和符號執行等不衕技術。
1/29/2024, 7:10:46 AM
馬斯剋再掀meme熱潮,meme起飛背後到底有什麽?
新手

馬斯剋再掀meme熱潮,meme起飛背後到底有什麽?

本文介紹meme由來及分析火爆原因。
1/26/2024, 3:47:39 AM
解密 TRUMP 代幣:OFFICIAL TRUMP 模因幣
新手

解密 TRUMP 代幣:OFFICIAL TRUMP 模因幣

發現 TRUMP 代幣,這是候任總統唐納德·特朗普在 Solana 上推出的模因幣。瞭解它如何改變政治和數字資產。
1/19/2025, 9:56:31 AM

暗号資産の世界へのゲートウェイ、Gateに登録して新たな視点を手に入れましょう

暗号資産の世界へのゲートウェイ、Gateに登録して新たな視点を手に入れましょう