最近ビタリックブテリンがイーサリアムプロトコル設計第6篇についてのデプスな考察を発表しました。主に少し面白く聞こえるが非常に重要なことについて語っています――The Splurge(大雑把段階)。
簡単に言うと、イーサリアムプロトコルの設計では、約50%の内容がさまざまなEVM最適化で、残りの50%は七七八八の雑多な事項です。これらの「雑多な事」は小さいものですが、イーサリアムが成功できるかどうかにとって非常に重要です。
現在のEVM問題は二文字:使いにくい。コードの静的分析が難しく、正式な検証も困難で、いくつかの先進的な暗号機能を実現することもできません(precompilesを無理やり入れない限り)。
ビタリックブテリンの提案はEVMオブジェクトフォーマット(EOF) — これは新しいコードフォーマット標準で、核心的な革新には次のものが含まれています:
さらに進むと、EVM-MAX(モジュロ演算を処理するための新しい命令)とSIMD(1つの命令で複数のデータを処理する)の組み合わせがあります。この2つが組み合わさると、ハッシュ、STARK、格暗号などのさまざまな暗号学的演算を加速することができます。
現在EOFは道を整備しましたが、完全な普及には時間がかかります。
現在のイーサリアムアカウントはECDSA署名検証のみで使用できます(あなたの秘密鍵署名方式です)。問題は、この方法があまりにも単一であるため、できないことがあるということです。
ビタリックブテリンは、この作業は2015年から始まったと言っており、現在は二つの道が並行している。
EIC-4337はアプリケーション層で動作していますが、問題は:
だから、それを部分的または完全にプロトコルに書き込む必要があります。
現在のEIP-1559には少し問題があります:
より根本的な問題は平均vs最悪の状況です。イーサリアムは「ブロック全体が1つのリソースの処理に使われる」という最悪の状況で価格を設定する必要があり、その結果、大部分の時間で満たされず、無駄を生じさせています。
解決策はマルチディメンショナルガスと呼ばれます — 異なるリソースに異なる価格と制限を設定します:
EIF-7706はEIP-1559の数学的欠陥も修正できます。
ビタリックブテリンは最後に3つの"エジプト神カード"のように強力な暗号学的原語について話しました:
ゼロ知識証明を使用してプライバシーとスケーラビリティを実現します。欠点は、証明するためにデータを知っている必要があることです。
暗号データ上で直接計算でき、復号する必要がありません。Cursiveプロジェクトがこれを試験しています。欠点は、復号キーを持っている人がまだ必要であることです。
最強の。コードの難読化は「暗号プログラム」を作成し、任意の計算を実行するが、内部の詳細は隠される。単回署名(quantum one-shot signatures)は、署名を一度だけ使用できるようにする。
この二つの組み合わせは「ほぼ完璧なノン・トラスト第三者」を構築することができる。ビタリックブテリンは投票システムの例を挙げ、無プライバシーからZK-SNARK、MACI、FHE、混乱、一回の署名へと、プライバシー保護と検閲耐性が段階的に向上することを説明した。
しかし、率直に言えば、これらのことはまだ遠いです:
The Splurgeは、エーテルを「万能選手」から「高性能専門ツール」へと段階的に最適化するプロセスです。EVMの底層最適化、アカウント体験のアップグレード、費用構造の調整、そして将来の量子レベルの暗号学に至るまで、これらの一見バラバラな要素が全て組み合わさって、真の「大雑烩」となるのです。
短期内、EOFとアカウント抽象は開発体験を変えるでしょう;中期的には、多次元ガスがスケーラビリティのボトルネックを解決できます;長期的には?それには暗号学の魔法に頼る必要があります。
100.68K 人気度
38.85K 人気度
75.05K 人気度
111.51K 人気度
35.26K 人気度
ビタリックブテリン最新長文:イーサリアム「The Splurge」段階は一体何をするのか?
最近ビタリックブテリンがイーサリアムプロトコル設計第6篇についてのデプスな考察を発表しました。主に少し面白く聞こえるが非常に重要なことについて語っています――The Splurge(大雑把段階)。
なぜ大雑把な料理と呼ばれるのか?
簡単に言うと、イーサリアムプロトコルの設計では、約50%の内容がさまざまなEVM最適化で、残りの50%は七七八八の雑多な事項です。これらの「雑多な事」は小さいものですが、イーサリアムが成功できるかどうかにとって非常に重要です。
コア目標は何ですか?
EVM の最適化: EOF から始める
現在のEVM問題は二文字:使いにくい。コードの静的分析が難しく、正式な検証も困難で、いくつかの先進的な暗号機能を実現することもできません(precompilesを無理やり入れない限り)。
ビタリックブテリンの提案はEVMオブジェクトフォーマット(EOF) — これは新しいコードフォーマット標準で、核心的な革新には次のものが含まれています:
さらに進むと、EVM-MAX(モジュロ演算を処理するための新しい命令)とSIMD(1つの命令で複数のデータを処理する)の組み合わせがあります。この2つが組み合わさると、ハッシュ、STARK、格暗号などのさまざまな暗号学的演算を加速することができます。
現在EOFは道を整備しましたが、完全な普及には時間がかかります。
アカウントの抽象化:ウォレットのアップグレードが必要です
現在のイーサリアムアカウントはECDSA署名検証のみで使用できます(あなたの秘密鍵署名方式です)。問題は、この方法があまりにも単一であるため、できないことがあるということです。
ビタリックブテリンは、この作業は2015年から始まったと言っており、現在は二つの道が並行している。
EIC-4337はアプリケーション層で動作していますが、問題は:
だから、それを部分的または完全にプロトコルに書き込む必要があります。
取引手数料の最適化:マルチディメンションガス
現在のEIP-1559には少し問題があります:
より根本的な問題は平均vs最悪の状況です。イーサリアムは「ブロック全体が1つのリソースの処理に使われる」という最悪の状況で価格を設定する必要があり、その結果、大部分の時間で満たされず、無駄を生じさせています。
解決策はマルチディメンショナルガスと呼ばれます — 異なるリソースに異なる価格と制限を設定します:
EIF-7706はEIP-1559の数学的欠陥も修正できます。
未来の暗号学のハイテク
ビタリックブテリンは最後に3つの"エジプト神カード"のように強力な暗号学的原語について話しました:
1. ZK-SNARK(既存)
ゼロ知識証明を使用してプライバシーとスケーラビリティを実現します。欠点は、証明するためにデータを知っている必要があることです。
2. 完全準同型暗号化(FHE、半調理)
暗号データ上で直接計算でき、復号する必要がありません。Cursiveプロジェクトがこれを試験しています。欠点は、復号キーを持っている人がまだ必要であることです。
3. コード混淆+単一署名(遠い未来、量子コンピュータが必要)
最強の。コードの難読化は「暗号プログラム」を作成し、任意の計算を実行するが、内部の詳細は隠される。単回署名(quantum one-shot signatures)は、署名を一度だけ使用できるようにする。
この二つの組み合わせは「ほぼ完璧なノン・トラスト第三者」を構築することができる。ビタリックブテリンは投票システムの例を挙げ、無プライバシーからZK-SNARK、MACI、FHE、混乱、一回の署名へと、プライバシー保護と検閲耐性が段階的に向上することを説明した。
しかし、率直に言えば、これらのことはまだ遠いです:
まとめ
The Splurgeは、エーテルを「万能選手」から「高性能専門ツール」へと段階的に最適化するプロセスです。EVMの底層最適化、アカウント体験のアップグレード、費用構造の調整、そして将来の量子レベルの暗号学に至るまで、これらの一見バラバラな要素が全て組み合わさって、真の「大雑烩」となるのです。
短期内、EOFとアカウント抽象は開発体験を変えるでしょう;中期的には、多次元ガスがスケーラビリティのボトルネックを解決できます;長期的には?それには暗号学の魔法に頼る必要があります。