ソース: 吴说 ↗
Verity 为以太坊完成 EIP-8282 形式化验证，发现 3 处文档与代码不一致
|
翻訳できませんでした。もう一度お試しください。
ソースが報告している内容
吴说获悉，形式化验证团队 Verity 宣布，已为以太坊基金会完成 EIP-8282 的形式化验证，利用 AI 辅助 Lean 证明流程，直接对 EVM 字节码进行数学验证，并由 Lean 内核检查证...
吴说 で元記事を読む ↗ライブ市場コンテキスト
市場数値はライブ参考データであり、このレポートが価格変動を引き起こした証拠ではありません。金融助言ではありません。
関連ニュース
ニュースを開く →スイスのデジタル銀行、ETH建てのファンド開始──年8〜10%目標
スイスとシンガポールに拠点を置くデジタル資産銀行Sygnum（シグナム）は11月12日、イーサリアム（ETH）建てで運用するプロ投資家向けのファンド「Sygnu ... The post スイスのデジタル銀行、ETH建てのファンド開始──年8〜10%目標 first appeared on NADA NEWS（ナダ・ニュース）.
Whale Alert: Four Traders Liquidated for More Than $10M Apiece
One wallet's liquidation records included more than 12,700 ETH and 536 BTC, exposing the scale of leveraged positions held by whales.
Ethereum Foundation sells more ETH as price falls below $2,000: What’s next?
Ethereum drops below $2,000 as an Ethereum Foundation-linked wallet sells 2,000 ETH, while liquidations mount and other whales continue buying.