来源: 吴说 ↗
Verity 为以太坊完成 EIP-8282 形式化验证，发现 3 处文档与代码不一致
|
暂时无法翻译，请重试。
来源报道重点
吴说获悉，形式化验证团队 Verity 宣布，已为以太坊基金会完成 EIP-8282 的形式化验证，利用 AI 辅助 Lean 证明流程，直接对 EVM 字节码进行数学验证，并由 Lean 内核检查证...
在 吴说 阅读原始报道 ↗实时市场脉络
市场数字为实时参考资料，并非此报道造成价格变动的证据；不构成财务建议。
相关新闻
打开新闻中心 →Erigon前CTO加入以太坊基金会，负责应用AI与客户端开发
PANews 11月13日消息，Erigon前首席技术官Giulio Rebuffo在X平台发帖称，他已于上周开始在以太坊基金会担任新职，专注于应用AI与客户端开发，并将与基金会技术团队及管理层协作。Rebuffo曾主导开发Erigon内置共识客户端Caplin，并参与Erigon的以太坊合并实施。
QCP：加密市场抛压加剧，BTC ETF 持续流出及 Strategy 指数剔除引发担忧
吴说获悉，QCP Capital 在最新市场报告中指出，受美国通胀高于预期、美债收益率及美元走强等因素影响，比特币自 8 月中旬以来首次跌破 7 万美元，最低触及 67,555 美元，ETH 跌破 2...
鱼池联创王纯近 2 日买回此前卖出的 10992 枚
PANews 11月13日消息，据链上分析师余烬报道，鱼池（F2Pool）联合创始人王纯相关地址在过去 2 天以均价 1989 美元买入 10992 枚 ETH，总计约 2187 万美元。8 天前 ETH 从 2315 美元涨至 2440 美元期间，该地址卖出 6200 枚 wstETH（折合 7740.2 枚 ETH），均价 2390 美元，换得 1850 万 USDC 后转入 Binance。与卖出时相比，该地址的 ETH 持仓多出约 3252 枚。