Compass Investments

㊤ イーサリアムの発展は、これまでとは異なる構造段階に入る可能性がある。Vitalik Buterin氏は最近、人工知能がエコシステム内のコーディングと検証プロセスを大幅にスピードアップしていると言及し、イーサリアムの開発計画を加速させ、その安全性を以前の予想以上に高める可能性があると述べた。

ブテリンは、「コード作成のペースを上げることだけが目的ではありません。ソフトウェア工学の制約そのものがより深く変化しているのです。コードのコストは下がる一方で、仕様と検証は大きなボトルネックになりつつあります。

イーサリアムのようなセキュリティが重要なプロトコルにとって、これはゲームチェンジャーです。

これは驚くべき実験です。2030年の計画全体を数週間で成文化できるのですから。

過去において、プロトコルの作成は人間の生産性によって制限されていました。暗号とコンセンサスのコードを書き、監査し、テストし、厳密に検証することは、時間がかかり、高度に専門的な仕事です。

AIはこの構図を2つの点で変えます。開発者は、アーキテクチャのプロトタイピング、具体的な実装、エッジの状況に対するテストを、桁違いに速く行えるようになりました。Vitalik氏は、ローカルモデルでさえ、複雑なソフトウェアを数分で生成することができ、これはほんの2、3ヶ月前には考えられなかった能力だと指摘した。

この結果、プロトコルの変更サイクルが劇的に短縮されます。

コード生成のスピードが上がるにつれて、精度が制限要因になります。AIが生成したコードに不具合や矛盾、不完全な部分がないわけではありません。しかし、同じツールを使うことで、検証の範囲を広げることができます。

Vitalik氏は、セキュリティの2つの主なプラス面を強調した。

Lean のような形式的検証のイニシアチブは、プロトコルの一部の正しさを数学的に証明することを目的としている。AIは証明の構築、極端なケースの探索、すべての実装の論理的整合性の確認を支援することができます。

これによってイーサリアムは、証明されたセキュリティを持つプロトコル・コンポーネントを作成するという、長い間望まれていた目標に近づくことができます。

リーンイーサリアムのイニシアチブは、イーサリアムの主要な暗号とプロトコルの仮定を数学的、機械的に検証可能な形式化することを目指しています。このアプローチはプロトコルのセキュリティを公理ではなく定理として扱います。

最近のテストでは、複雑なSTARK関連の定理について、AIが機械検証可能な証明を作成できるようになりました。