帖子

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

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

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

回复

暂无评论，快来抢沙发！

相关快讯

来源头像ChainCatcher•14 分钟前

Lighter 完成 L2 逃生机制验证，用户在排序器故障时仍可向主网提款

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

币界早讯 | 美国通胀数据引发加密货币抛售

来源头像ChainCatcher•1 小时前

美国政府将 FTX 没收资产中的 319 枚 ETH 和 93 万美元稳定币转入 Coinbase

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

Prometheum完成首批以太坊交易，曾获SEC批准

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

Verus与以太坊跨链桥遭攻击，损失超1100万美元

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

链上RWA市值突破650亿美元，以太坊占33%

来源头像Odaily•9 小时前

Aave Pro上线地址监控功能，无需连接即可监控任意地址

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

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

来源头像ChainCatcher•15 小时前

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

来源头像ChainCatcher•17 小时前

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