跳轉至主要內容
行情
掃鏈
追蹤
信號
跟單
兌換
資產
邀請計劃
更多
產品
DeFi
市場
安全中心
開發者中心
X Layer
探索 X Layer
X Layer 瀏覽器
跨鏈橋
開發者文檔
測試網水龍頭
GitHub
Wallet API
探索 Wallet API
API 文檔
API Key 管理
區塊鏈瀏覽器
DApp 連接錢包
Boost
X Launch
參與 X Launch,搶先賺新幣
X Campaign
參與活動,贏取豐厚獎勵
獎勵中心
領取獎勵和空投
預警
語言
貨幣
顏色設置
下載 OKX Wallet
Web3 指南
公告
返回
繁體中文
简体中文
English
Tiếng Việt
Русский
Español (Latinoamérica)
Bahasa Indonesia
Français
Deutsch
Italiano
Polski
Čeština
Română
Português (Portugal)
Português (Brasil)
Українська
Español (España)
Nederlands
العربية
日本語
Norsk (bokmål)
Suomi
Svenska
Türkçe
返回
返回
學院
幫助中心
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
-1.72%
USELESS
+3.38%
IKUN
+12.71%
gib
+4.98%
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
Bonk
+1.44%
ALON
-2.63%
LAUNCHCOIN
-9.51%
GOONC
-1.32%
KLED
+2.14%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
-0.71%
Boopa
-5.9%
PORK
0.00%
主頁
Veridise
使用形式化方法強化區塊鏈安全性 — 業界領先的安全審計和智能合約、區塊鏈和零知識工具。
查看原文
Veridise
2026年1月28日
感謝 @EF_ESP 和 @ethereumfndn 對 LLZK 的持續支持 🙏 我們將繼續加強 LLZK 作為 ZK 編譯器生態系統的開源、驗證導向基礎設施。更好的工具、跨 DSL 的互操作性,以及更強的正確性保證。
EF Ecosystem Support Program
2026年1月27日
1/ 2025 年第四季以生態系統的驚人增長結束了這一年 🌳 深入了解 @ethereumfndn 團隊在本季度支持的項目,看看我們的受助者在最新的部落格文章中所建造的內容!
648
Veridise
2026年1月20日
🔐 在 @AleoHQ 上建立?記錄是強大的——也容易被濫用。 在我們的《Leo 系列記錄 II》中,安全分析師 Mark Anthony @epizeuxius 解析了常見的記錄處理陷阱。 完整的部落格文章連結如下 🧵 1/3
113
熱門
排行
收藏