跳转至主要内容
行情
扫链
追踪
信号
牛人榜
兑换
资产
邀请计划
更多
产品
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
-6.02%
USELESS
-12.17%
IKUN
-21.3%
gib
-2.4%
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
Bonk
-6.04%
ALON
-8.71%
LAUNCHCOIN
-9.49%
GOONC
-2.67%
KLED
+0.26%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
-0.24%
Boopa
-7.78%
PORK
-3.3%
主页
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)
49
Nethermind
9月18日 21:41
我们正在实施 Stellar ↔ Wormhole 桥接和 RISC Zero 验证器,将以太坊基础设施工程引入 Stellar,为开发者提供新的 zk 设计空间。
Boundless
9月18日 21:01
Boundless 正在将 ZK 引入 @StellarOrg 与 @NethermindEth 和 @wormhole 合作,我们正在开启一个在 Stellar 上构建私密、可扩展的跨链应用的新纪元。
2.09K
Nethermind
9月18日 17:40
形式验证的又一个里程碑。 在 Lean 中形式化可计算多项式是实现可重用和可靠的 zk 验证的重要一步。 非常感谢 Nethermind 形式验证团队为推动这一进展所做的努力。
Nethermind Security
9月17日 17:41
我们的形式验证团队已经在 Lean 中形式化了可计算的多元多项式。cc @leanprover 这是在 zk 证明和协议设计中进行更强的机器检查推理的基础。 🔗 1/
61
热门
排行
收藏