跳轉至主要內容
行情
掃鏈
追蹤
信號
牛人榜
兌換
資產
邀請計劃
更多
產品
DeFi
市場
洞察中心
Eco Hub
安全中心
開發者中心
DEX API
探索 DEX API
DEX API 文檔
API Key 管理
區塊鏈瀏覽器
X Layer
探索 X Layer
X Layer 瀏覽器
跨鏈橋
開發者文檔
測試網水龍頭
GitHub
DApp 連接錢包
Boost
X Launch
參與 X Launch,搶先賺新幣
Giveaway
完成指定任務,領取空投好禮
交易賽
交易熱門代幣,衝榜贏大獎
獎勵中心
領取獎勵和空投
預警
語言
貨幣
下載 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
返回
返回
使用教程
學院
幫助中心
探索 Web3 Giveaway 活動,每週豐厚獎勵等您來領取
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
-7.2%
USELESS
-13.53%
IKUN
-13.05%
gib
-1.44%
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
Bonk
-4.96%
ALON
+3.39%
LAUNCHCOIN
-8.8%
GOONC
+0.32%
KLED
-7.13%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
-0.27%
Boopa
-5.58%
PORK
-7.27%
主頁
Nethermind
工程和研究解決方案,使開發者和企業能夠在去中心化的網路上進行建設。乙太坊 @NethermindEth Starknet @NethermindStark
查看原文
Nethermind
9月18日 21:46
🧵Nethermind 為 @StellarOrg × @boundless_xyz × @wormhole Nethermind 正在為 Stellar 提供核心 zk 基礎設施: · Stellar ↔ Wormhole 橋接 · RISC Zero 驗證器 這些組件將 Stellar 的 zk 升級直接連接到以太坊的證明標準。(1/3)
60
Nethermind
9月18日 21:41
我們正在實施 Stellar ↔ Wormhole 橋接和 RISC Zero 驗證器,將以太坊基礎設施工程引入 Stellar,為開發者提供新的 zk 設計空間。
Boundless
9月18日 21:01
Boundless 正在將 ZK 引入 @StellarOrg 與 @NethermindEth 和 @wormhole 合作,我們正在開啟一個在 Stellar 上構建私密、可擴展的跨鏈應用的新紀元。
2.11K
Nethermind
9月18日 17:40
形式驗證的又一個里程碑。 在 Lean 中形式化可計算多項式是實現可重用和可靠的 zk 驗證的重要一步。 非常感謝 Nethermind 形式驗證團隊為推動這一進展所做的努力。
Nethermind Security
9月17日 17:41
我們的形式驗證團隊已經在 Lean 中形式化了可計算的多元多項式。cc @leanprover 這是在 zk 證明和協議設計中進行更強的機器檢查推理的基礎。 🔗 1/
69
熱門
排行
收藏