行业2026/05/19 01:15

以太坊创始人认为 AI 的“形式化验证”能显著提升加密安全性

📡CoinDesk·AI Flash News

🤖AI 点评

Vitalik Buterin 表示，借助 AI 进行形式化验证或能强化区块链与加密系统的安全性，这可能改变未来智能合约与链上风险管理方式。citeturn0news11

📄 内容来源

📊 你觉得这条新闻对市场是？