🔔 Verity 为以太坊完成 EIP-8282 形式化验证，发现 3 处文档与代码不一致
讲真，看到这条我第一时间就打开了行情：$ETH 2051.54，1h +0.29%。
消息不温不火，这种时候更需要耐心！
有哪些细节需要补充？评论区聊聊。