Vitalik Buterin: バグのないソースコードは2030年代に実現する可能性があります

Vitalik Buterinは、実際のソースコードにバグがないことが2030年代には実現可能になると考えており、少なくともセキュリティを最優先する開発者にとってはそうなる可能性があると述べています。この見解は、2024年12月のGnosis Chainの議論を呼ぶハードフォーク後に彼が示したもので、Balancerの攻撃で失われた9.4百万ドルを回収するためのものです。

ブロックチェーンの不変性やスマートコントラクトの構築方法に関する批判に対して、Buterinは「形式的検証」は「バグがないことの証明」ではないと強調しています。彼は、完全にバグのないコードは実現不可能かもしれないと考えており、その理由はバグが人間の意図とコードの実行方法の間のギャップから生じるためです—意図自体が非常に複雑で把握しにくいものだからです。

それでも、Buterinは、強力な型システム、選択的な形式的検証、予備メカニズム、厳格なテストなどの多層防御を適用することで、エラーを大幅に減らすことができると信じています。セキュリティを最優先する開発者にとって、未来の「ほぼエラーなし」は完全に手の届く範囲にあります。