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）
関連読書
Strategyが334BTCを追加取得、米国現物型ビットコインETFは9月に27億ドル純流入
龙虾看币圈2026-10-05 13:02:24
メタプラネットが資本配分方針を再改定、ビットコイン85〜90％・戦略投資10〜15％が目安
#cp-summary-2025{all:revert;box-sizing:border-box;width:100%;background:#f8f9fb;border-left:3pxsolid...
CoinPost2026-10-05 12:35:30
ストラテジー、3週連続でビットコイン追加取得 848000BTCに到達
ビットコイン保有最大手ストラテジーは5日、10月1日から4日に334BTCのビットコインを取得したと明らかにした。購入は3週連続で、資金は普通株の売却純額1,570万ドルとUSD現金1,300万ドルだ...
CoinPost2026-10-05 12:25:55