Vitalikは、バグのないコードが2030年代に現実になると予測しています

ソース：CoinEdition オリジナルタイトル：Vitalik、バグのないコードは2030年代に利用可能になると予測 オリジナルリンク：https://coinedition.com/vitalik-predicts-that-bug-free-code-will-be-available-in-the-2030s/

スマートコントラクトと安全性重視システム

プログラム可能な仮想マシン内に構築されたアプリは、ブロックチェーン設計の深い構造的弱点を引き続き露呈しています。最近の運用者の行動、特にBalancerの脆弱性を悪用した後の資金回収のためのハードフォークを含むものは、その懸念を再び浮き彫りにしました。ネットワーク運用者は決断を下しましたが、この出来事は、ブロックチェーンが安全に機能を追加すべき方法についての核心的な疑問を強化しました。

c-nodeというzk開発者によると、多くのアプリケーションロジックは無限に変更可能なスマートコントラクトに属さない可能性があります。彼は、長期的な存続を正当化する契約は限定的なものであり、これらのコンポーネントはベースレイヤーのセキュリティとクライアントの多様性から恩恵を受けることができると主張しています。したがって、業界は、汎用仮想マシンが大規模に機能を追加する最も安全な方法であるかどうかを再考する必要があるかもしれません。

書く価値のある契約は7つだけで、それらはベースレイヤーに組み込まれ、クライアントの多様性からセキュリティを得るべきです。

なぜクリティカルソフトウェアにバグが残るのか

今日でもバグは避けられないままであり続けています。これは、開発者が安全性と速度や柔軟性を取引しているためです。さらに、ソフトウェアの複雑さは検証の質よりも速く増加し続けています。しかし、Vitalik Buterinは、このバランスは時間とともに変わると予測しています。彼は、バグは避けられないという主張が2030年代には真実ではなくなると予測しています。

予測を登録します：「バグは避けられない、バグのないコードは作れない」という主張は2030年代には真実ではなくなる (多くのソフトウェアはバグを抱え続けるでしょう。なぜなら、その使用ケースでは機能性の向上がより重要だからです。しかし、バグのないコードを望むなら、それを手に入れることができるでしょう)

この変化を促進する要因はいくつかあります。プログラミング言語は、より強力な型システムや厳格なメモリルールを組み込むようになっています。さらに、自動化や敵対的テストによる監査手法も改善されています。

また、形式検証ツールはますます正しさを証明する方向に進んでいます。これにより、安全性重視のコードは徐々に証明可能になり、希望的観測から実証へと変わりつつあります。

Buterinの研究によると、欠陥密度はすでに極端なエンジニアリング条件下で急激に低下しています。1990年には、1,000行の安全性重視プログラムには8〜10の潜在的なバグが含まれている可能性が高かったです。2000年までに、規律あるチームはその数を4に減らしました。その結果、2010年にはエリートチームによる努力で欠陥は1〜2に近づきました。

検証のコスト曲線

2020年までに、100万ドルを費やすチームは1,000行あたりほぼゼロの既知の欠陥を達成しました。ただし、その結果を得るには徹底的なレビューと数学的検証が必要でした。

Buterinは、現代の結果について議論する際に、その前提を明確にしました。彼は、「それは、あの1000行の検証に極めてトップレベルの努力を投入することを前提としています。次のステップは、そのハードルを下げることです」と述べました。

重要なのは、将来の進歩は単により多くの資金を投入するだけではなく、より良いデフォルト設定からもたらされるということです。言語は自動的にバグの全クラスを防止し、証明システムは開発ワークフローに直接統合されるようになるでしょう。