帖子

Vitalik Buterin：以太坊研发新范式与形式化验证

币界网
币界网
币界网消息，Vitalik Buterin在最新文章中表示，以太坊前沿研发中正兴起一种新范式：直接使用EVM字节码、汇编或Lean编写代码，并用Lean中可自动检查的数学证明验证其正确性。AI辅助形式化验证有望同时提升代码效率与安全性，尤其适用于STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。但他也强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效未来软件或将分化为“安全核心”和“非安全边缘”，以太坊将成为重要安全核心之一。
ETH-0.40%
20:50 · 26/05/18·5.1万 浏览量·
查看来源
0
0

免责声明：欧易星球内容仅供参考。 了解更多

回复

暂无评论，快来抢沙发！

相关快讯

来源头像币界网•4 小时前

嘉楠科技发布2026年Q1财报：总收入6270万美元

来源头像ChainCatcher•5 小时前

Gate Ventures：通胀压力冲击市场，机构加速布局稳定币与链上金融基础设施

来源头像ChainCatcher•6 小时前

韩国第七大养老救济公司投资以太坊杠杆 ETF 亏损约 3273 万美元

来源头像Odaily•7 小时前

Ethereum Foundation 2026年至今至少有8位高层离职

来源头像TechFlow•8 小时前

Wintermute 推出 DeFi 金库策展平台 Armitage，支持更广泛抵押品类型

来源头像ChainCatcher•10 小时前

质押 ETH 占比升至 31% 与价格走势背离，链上信心持续增强

来源头像ChainCatcher•11 小时前

五天三起重大 DeFi 攻击，5 月加密黑客事件累计达 14 起

来源头像TechFlow•12 小时前

分析：比特币徘徊于 7.68 万美元附近,市场关注月度收盘价能否守住关键支撑位

来源头像ChainCatcher•12 小时前

Kelp：rsETH 恢复取得关键进展，多个 DeFi 协议共同清算攻击者头寸

来源头像ChainCatcher•12 小时前

Echo Protocol 确认遭攻击，暂停所有跨链交易