Vitalik Buterin がゼロ知識証明を高速化する方法として「Binius」を分析します

経験豊富な暗号アナリストとして、私は Binius と呼ばれる新しいシステムに関する Vitalik Buterin の最新の提案に興味をそそられています。暗号証明システムに対するこの革新的なアプローチは、特に小さな値やビットレベルの操作の処理に関して、効率を大幅に向上させる可能性があります。

暗号解読の専門家として、イーサリアムの優秀な共同創設者であるヴィタリック・ブテリン氏からの興味深い洞察をいくつか共有したいと思います。彼は最近、ゼロ知識証明の効率を高めるために設計された新しい暗号証明システムの計画を発表しました。このイノベーションは、ブロックチェーンネットワーク上のトランザクションを検証する方法に革命をもたらし、トランザクションをより高速かつ安全なものにする可能性があります。

私はアナリストとして、4 月 29 日に公開されたブログ投稿で Binius について説明しました。この投稿では、Binius がバイナリフィールドを使用して高効率の暗号証明を作成するための新しいシステムであることを説明しました。このシステムは、zk-SNARK のような従来の証明システムを上回るように設計されており、パフォーマンスが大幅に向上します。

Binius は、より大きな数値を扱うのではなく、2 進数、つまり 0 と 1 で構成されるビットに対して直接計算を実行することで、生産性の向上を目指しています。

このシステムのインスピレーションは、64 ビットや 256 ビットの数値など、より大きな整数サイズを処理できる SNARK (Succinct Non-Interactive Arguments of Knowledge) や STARK (Scalable Transparent Arguments of Knowledge) などの高度な暗号化手法から得られています。

データ処理方法を研究している研究者として、基礎となるデータの大部分がカウンター、インデックス、ブールフラグなどの小さな値で構成されていることに気づきました。しかし、Vitalik Buterin 氏によると、ビットを直接操作することで、Binius はこの種のデータをより効率的に処理できることがわかりました。

Vitalik Buterin がゼロ知識証明を高速化する方法として「Binius」を分析します

ブテリン氏は、最新の証明システムでは、データをビットの複雑な「ハイパーキューブ」として表現するという形で機能強化が導入されており、多次元での複雑な配置が可能になっていると説明しています。さらに、バイナリの「有限フィールド」を利用して、個々のビットおよびビットシーケンスの算術計算を合理化します。

この方法では、バイナリで作業する利点を維持しながら、ビットレベルの情報を「多項式」計算やマークル証明と互換性のある形式に変換する独自のエンコードおよびデコードシステムを使用します。

バイナリシステムは、暗号証明システムの背後にある基本的な数学の大幅な進歩の鍵を握っており、より複雑な暗号アプリケーションがより効率的に動作し、より大きなワークロードを処理できるようになります。

ゼロ知識証明では、多項式はデータと計算ステップをエンコードするための重要なツールとして機能します。これらの機能を利用することで、隠蔽情報を秘匿したまま証明の正当性を認証することが可能となります。これは、検証プロセスが入力データ自体ではなく、多項式関数の出力のみに焦点を当てているために実現されます。

ブテリン氏は、この議論の範囲を超える高度な数学的概念を使用して、ビニウスプロトコルの複雑さを説明しました。彼は、このプロトコルがどのようにデータをエンコードし、検証可能な証明を生成し、検証者によるこれらの証明の効率的なチェックを可能にするかを説明しました。

「バイナリフィールドのタワーに関する簡潔な議論」という名前の 2023 年のホワイトペーパーで、暗号学者のベンジャミン E. ダイアモンドとジムポーゼンがこのアイデアを初めて紹介しました。

Binius は、特に小さな値の計算や複雑なビットレベルの演算を扱う場合に、従来の証明システムと比較してパフォーマンスの大幅な向上を達成することを目指しています。

ブテリン氏は、証明にバイナリフィールドを使用する技術の大幅な進歩が今後数か月間継続して現れるだろうと予測しました。

2024-05-01 09:06