Source: 吴说 ↗
Verity 为以太坊完成 EIP-8282 形式化验证，发现 3 处文档与代码不一致
Translation unavailable. Please try again.
What the source reports
吴说获悉，形式化验证团队 Verity 宣布，已为以太坊基金会完成 EIP-8282 的形式化验证，利用 AI 辅助 Lean 证明流程，直接对 EVM 字节码进行数学验证，并由 Lean 内核检查证...
Read the original report on 吴说 ↗Live market context
Market figures are live reference data, not evidence that this report caused a price movement. Not financial advice.
Related news
Open news desk →Ethereum made transactions cheaper. Where does that leave ETH?
Ethereum has built a cheaper route for transactions through rollups and a separate market for their data, while an investment fund announced on November 12 has offered a different route to returns for ETH holders by combining staking with trading…
Binance’s latest reserves show 928 million USDT drop as BTC, ETH holdings rise
Binance has published a new proof-of-reserves snapshot showing that user USDT holdings fell by 928.2 million tokens over eight days, while Bitcoin, Ethereum, and BNB balances increased. According to figures from Binance, the exchange held approximately 24.3 billion USDT on…
Ethereum treasury firm BTCS sold ether at a loss to keep $64 million Aave loan healthy
The Nasdaq-listed company has 46,676 ETH backing its borrowings, and the loan could become eligible for liquidation if ether slides to around $1,700.