BTCBTC
💲63614.57
-
0.26%
ETHETH
💲1781.68
-
0.65%
SOLSOL
💲81.04
-
1.16%
USDCUSDC
💲1.00
-
0%
HYPEHYPE
💲70.03
-
1.24%
ZECZEC
💲482.38
+
7.28%

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

複製鏈接

熱門閱讀