PANews 5月18日消息，Vitalik发布博客文章称，以太坊社区正在尝试用 Lean 等形式化工具直接在底层语言（如 EVM 字节码、RISC‑V 汇编）上编写代码，并通过机器可验证的数学证明来保证正确性与安全性。Vitalik 指出，形式化验证可用于验证 Signal 等加密通信协议、TLS、STARK、ZK‑EVM、共识算法和 EVM 实现的端到端安全与等价性，并在 AI 自动找 bug 的新环境下显著提升防御方优势。不过他也强调，形式化验证并非万能，容易遗漏未建模假设、侧信道、未覆盖模块等风险。Vitalik 认为，未来软件将围绕少量“安全核心”构建，AI 负责大量代码生成，形式化验证负责把关关键基础设施安全。
Vitalik：AI辅助形式化验证或成“软件开发最终形态”
免責事項：この記事の著作権は元の作者に帰属し、MyTokenを表すものではありません(www.mytokencap.com)ご意見・ご感想・内容、著作権等ご不明な点がございましたらお問い合わせください。
MyTokenについて：https://www.mytokencap.com/aboutusこの記事へのリンク：https://www.mytokencap.com/news/580259.html
community_x_prefix
X(https://x.com/MyTokencap)community_tg_prefixcommunity_tg_name
（https://t.me/mytokenGroup）
X(https://x.com/MyTokencap)community_tg_prefixcommunity_tg_name
（https://t.me/mytokenGroup）
関連読書
バイデン氏次男のLAPTOP、5.5％バーン 米中間選挙で条件成立
ハンター・バイデン氏が発行したミームコインLAPTOPは、米中間選挙で民主党が上下両院を制したことを受け、供給量の5.5％をバーンした。トークンに組み込んだ30件の予測のうち下院・上院に関する2件が成...
CoinPost2026-11-10 07:38:55
ビットコイン下落でも中規模層が1.4万BTC超買い増し＝サンティメント
ビットコインが7万5000ドル付近まで下落するなか、1から100BTCを保有するウォレットが過去2週間で計1万4,000BTC超を買い増した。サンティメントは強気のシグナルとし、7万8,000ドルと8...
CoinPost2026-11-10 07:35:30
BTCが7.5万ドル割れ、ETHは2123ドルに下落、現物ETFは週間12.8億ドルの純流出、清算額は10億ドル超
龙虾看币圈2026-11-10 07:07:58