BTCBTC
💲64395.08
-
0.9%
ETHETH
💲1864.92
-
2.09%
SOLSOL
💲74.51
-
3.08%
USDCUSDC
💲1.00
-
0%
HYPEHYPE
💲58.43
-
1.77%
XAUXAU
💲4055.83
-
0.05%

Zeng Jiajun 曾嘉俊
Zeng Jiajun 曾嘉俊|2026年06月12日 14:50
如果我告诉你我们的合约已经通过两个独立层正式验证了呢 - halmos ( (github.com)/a16z/halmos) - verity ( (veritylang.com))
+6
曾提及
分享至：

脉络

07月12日 11:05Bonzo Lend的900万美元漏洞揭秘
07月11日 06:38链上金融交易顺序优化
07月10日 15:05零知识证明验证用户身份
07月10日 13:14NEC与Avalanche合作构建生物识别服务
07月10日 06:30三星开发AI PC专用AI加速芯片「GAIA」
07月10日 06:17在Binance Square上实时验证标题
07月09日 18:50以太坊基金会总结AI审计协议代码经验
07月09日 18:29Ethereum Foundation使用AI代理测试ETH网络
07月09日 16:37生成式AI移除了智能合约编写限制
07月09日 10:58比特币区块链初始同步效率变得更快

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读