Vitalik: 今後数か月でバイナリフィールドベースの証明技術がさらに改善されることを期待しています

イーサリアムの共同創設者であるヴィタリック・ブテリン氏は、最新のブログ「Binius: Efficient Proof of Binary Fields」を公開しました。この記事は主に、2019 年時代の暗号、特に SNARK と STARK に一般的に精通している読者を対象としています。過去 2 年間で、STARK は、非常に複雑なステートメント (イーサリアム ブロックが有効であることの証明など) の効率的かつ簡単に検証可能な暗号証明を可能にする、重要でかけがえのないテクノロジーになりました。 SNARK と STARK がコンピューター プログラムを証明する方法は、算術によって行われます。つまり、証明されるプログラムのステートメントを、多項式を含む数式に変換します。方程式の効率的な解法は、プログラムの効率的な実行に対応します。一般に、ゼロ知識証明システムは、多項式に関するステートメントを作成すると同時に、基礎となる評価に関するステートメントを表現することによって機能します。ビニウスは「SNARKらしさ」にどう影響するのか？基本的な要約は、Binius を使用する場合、計算が「算術に適している」かどうかをあまり気にする必要がなくなるということです。「通常の」ハッシュは、従来の算術ハッシュより効率的ではなくなり、乗算法も従来の算術ハッシュより効率的ではなくなります。 . 値の方が効率的です。今後数か月でバイナリフィールドベースの証明技術がさらに改善されることを期待しています。