BTCBTC
💲63831.63
+
0.04%
ETHETH
💲1789.64
-
0.27%
SOLSOL
💲81.38
-
0.72%
USDCUSDC
💲1.00
-
0%
HYPEHYPE
💲70.26
-
1.79%
ZECZEC
💲491.56
+
9.9%

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

脉络

07月07日 16:53AI市场上有上百个“最佳模型”
07月07日 16:52gpt账号恢复使用
07月07日 15:38HertzFlow Alpha Skill的核心用途
07月07日 14:08LayerZero扩展自托管能力至资产发行方
07月07日 12:52以太坊发布第三个计划重塑协议
07月07日 12:29Zcash计划推出新隐私池Ironwood
07月07日 12:02市场需要透明可追溯的平台
07月07日 11:44Upbit推出回测工具‘Upbit Strategy Toolkit’
07月07日 11:30SummerFi DeFi漏洞表明AI自动化超越智能合约风险
07月07日 09:40AI循环（Loop）将改变未来的工作方式

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读