イーサリアムの共同創設者であるヴィタリック・ブテリン氏は、イーサリアムの共同創設者であるヴィタリック・ブテリン氏が26月XNUMX日にツイートした.
ZKP は、その複雑さから「月の数学」と呼ばれることがよくあります。
イーサリアムには、私たちのすべての月の数学をできるだけ理解しやすく、人々がアクセスできるようにするために一生懸命努力するという強い文化があることをとても嬉しく思います. https://t.co/o9n2Xms4Zw
— vitalik.eth（@VitalikButerin） 2022 年 10 月 26 日
Buterin 氏は、「地方分権化には、あきらめずに博士号を振り回して、「これはブラック ボックスだ、私たちは賢い、私たちを信頼してください」と言ってはならない」と付け加えました。
ゼロ知識レイヤー 2 イーサリアム スケーリング ソリューションであるスクロールについては、 ブログ いくつかのZKPの重要な部分である多項式コミットメントスキームがどのように機能し、イーサリアムのスケーリングにどのように役立つか.
多項式は、XNUMX つ以上の代数項を表す数式です。 Scroll ブログによると、多項式は大きなデータを効率的に表現するのに役立ちます。
コミットメント スキームは、メッセージにコミットして非表示のままにしておくが、後でメッセージを公開できる暗号化プロトコルです。 ただし、コミッターは一度コミットしたメッセージを変更することはできません。これにより、コミットメント スキームが拘束されます。
多項式コミットメント スキームでは、メッセージの代わりに多項式にコミットします。 多項式コミットメント スキームは、通常のコミットメント スキームのすべての特性を満たしています。 ただし、コミッターが、多項式自体を明らかにすることなく、必要なプロパティを満たす特定の多項式にコミットしたことを証明できる追加機能があります。
イーサリアムのスケーリングにおける KZG
さまざまな多項式コミットメント スキームがありますが、 ケイト・ザヴェルチャ・ゴールドバーグ (KZG) はブロックチェーン空間で人気があり、スクロールの証明システムで使用されています。 KZG はまた、Proto-Danksharding を使用してイーサリアムに統合される予定です。 EIP-4844、2022 年 XNUMX 月に提案されました。
Proto-Danksharding は、Danksharding が実装されるまでの応急処置です。 Proto-Danksharding では、「blob-carrying transaction」と呼ばれる新しいトランザクション タイプが導入されています。 これらのトランザクションは、Ethereum 実行レイヤーからアクセスできない 128kb のデータ BLOB を運びます。 代わりに、データ BLOB へのコミットメントのみが Ethereum からアクセス可能になります。
データ ブロブは多項式として表され、データへのコミットメントを作成するために多項式コミットメント スキーム KZG が使用されます。 これにより、データ ブロブ全体を明らかにすることなく、データ ブロブのプロパティを検証できます。
したがって、KZG を使用すると、データ可用性サンプリング (DAS) を有効にすることができます。DAS は、完全な Danksharding へのパスに実装されます。 基本的に、DAS を使用すると、バリデーターは、データ BLOB 全体を読み取る必要なく、データ BLOB が使用可能で正しいことを確認できます。
これは、バリデーターが処理する必要のあるデータが少なくなるため、イーサリアムのスケーラビリティーの向上に大きく役立ちます。
ソース: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/