BTCBTC
💲64156.90
-
1.51%
ETHETH
💲1859.11
-
1.24%
SOLSOL
💲73.79
-
2.98%
USDCUSDC
💲1.00
-
0%
XAUXAU
💲4059.33
+
0.18%
HYPEHYPE
💲57.20
-
0.94%

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

複製鏈接

熱門閱讀