帖子

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

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

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

回复

暂无评论，快来抢沙发！

相关快讯

来源头像ChainCatcher•1 小时前

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

来源头像ChainCatcher•2 小时前

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

来源头像ChainCatcher•2 小时前

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

来源头像ChainCatcher•3 小时前

数据：某聪明钱 10 小时前再次于链上买入 1344.18 枚 ETH，现浮亏 16.5 万美元

来源头像ChainCatcher•4 小时前

Echo Protocol 在 Monad 链上遭遇攻击，黑客铸造 1000 枚 eBTC 后经由 Curvance 提取资金

来源头像TechFlow•10 小时前

Lido：Swellchain 将于 6月 15 日停运，用户需提前提取 wstETH 资产

来源头像TechFlow•10 小时前

数据：ETH 借贷协议 TVL 已从年初高点 320 亿美元降至 230 亿美元

来源头像Odaily•11 小时前

以太坊基金会两名研究员宣布辞职

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

Aster推出链上上币提案投票机制

来源头像ChainCatcher•13 小时前

Delphi Digital：Aave 三大核心市场存在结构性问题，年化无谓损失约 5200 万美元