ヴィタリックが、5月19日におけるイーサリアムのセキュリティ的役割の鍵としてAI強化された形式検証を概説

BlockBeatsによると、イーサリアムの共同創業者ヴィタリック・ブテリンは5月19日に、AI強化された形式的検証が「ソフトウェア開発の究極の形」になり、高度なAI脅威への重要な防衛策になると概説した。ヴィタリックは、形式的検証はコードの正しさを数学的に検証可能な定理へと変換し、従来のテストや監査ではなく数学的な証明によってソフトウェアのセキュリティを保証すると説明した。

ヴィタリックは、この手法は特にイーサリアムの次段階のアップグレード、つまり量子耐性のある署名、STARKの証明システム、ビザンチン耐故障性のあるコンセンサス、ZK-EVMに適していると強調した。彼は、AIセキュリティの課題が増大する中で、イーサリアムは「セキュリティ・コア」アーキテクチャの不可欠な構成要素になり、重要なシステムは形式手法によって強化される一方で、周辺コンポーネントは最小限の権限でサンドボックス内で動作するようになると述べた。