Vitalik：AI与形式化验证将重塑以太坊安全与开发
PANews|2026年04月22日 10:57
Vitalik Buterin在与肖风对话中 表示，AI正快速提升漏洞发现能力，叠加形式化验证有望实现更安全的智能合约开发，甚至让非程序员也能构建无漏洞合约。同时，他强调以太坊L1将继续聚焦去中心化与安全，并推进抗量子密码学（如哈希与STARK）与ZK技术应用，以应对未来AI与量子计算带来的安全挑战。(PANews)
+5分享至：
脉络
热门快讯
APP下载
X
Telegram
复制链接