來源: 吴说 ↗
Verity 为以太坊完成 EIP-8282 形式化验证，发现 3 处文档与代码不一致
|
暫時無法翻譯，請重試。
來源報導重點
吴说获悉，形式化验证团队 Verity 宣布，已为以太坊基金会完成 EIP-8282 的形式化验证，利用 AI 辅助 Lean 证明流程，直接对 EVM 字节码进行数学验证，并由 Lean 内核检查证...
在 吴说 閱讀原始報導 ↗即時市場脈絡
市場數字為即時參考資料，並非此報導造成價格變動的證據；不構成財務建議。
相關新聞
開啟新聞中心 →殺！比特幣跌破 7.3 萬、以太坊失守 2000 美元！全網 24 小時爆倉 5.2 億美元
加密貨幣市場賣壓持續湧現！據 CoinGlass 數據統計，截至台北時間 11 月 12 日晚間，比特幣（BT […]
比特幣、以太坊 ETF 狂吸 1110 億美元，主動型加密基金為何吃不到機構的錢？
美國比特幣與以太坊現貨 ETF 規模已達 1110 億美元，但主動型加密避險基金平均規模僅 1.32 億美元， […]
德意志銀行加密託管服務正式上線！支援 BTC、ETH 等五種資產
德意志銀行的加密資產託管服務正式營運，首批支援 BTC、ETH、USDC、EURC 與 EURAU 五種資產。 […]