Home » Vitalik氏、ZK証明を「理解しやすい」ものにすることがイーサリアムに必要だと発言

Vitalik氏、ZK証明を「理解しやすい」ものにすることがイーサリアムに必要だと発言

by Thomas

イーサリアムは多項式コミットメントスキームであるKZGの実装を進めており、イーサリアムのスケールに貢献する可能性があります


ゼロ知識証明(ZKP)を「理解しやすく、アクセスしやすく」することは、イーサリアムのエコシステムを数学の学位を持たない人々にも「オープンで歓迎」し続けるために必要だと、イーサリアム共同創設者のVitalik Buterin氏は10月26日にツイートしています。

ZKPはその複雑さから、しばしば「月の数学」と呼ばれます.

Buterin氏は、「分散化には、あきらめずに博士号を振りかざして “ブラックボックスです、私たちは賢いです、私たちを信じてください “と言うことが必要です」と付け加えた。

ゼロナレッジレイヤー2のEthereumスケーリングソリューションであるScrollは、いくつかのZKPの重要な部分である多項式コミットメントスキームの仕組みと、それがどのようにEthereumのスケーリングを助けることができるかをブログで説明しました。

多項式は、2つ以上の代数項を表す数学的表現です。Scrollブログによると、多項式は大きなデータを効率的に表現するのに役立ちます。

コミットメント方式とは、あるメッセージにコミットしてそれを隠したまま、後でそのメッセージを明らかにすることができる暗号プロトコルです。ただし、一度コミットしたメッセージは変更できないため、コミットメントスキームには拘束力があります。

多項式コミットメント方式では、メッセージの代わりに多項式にコミットする。多項式コミットメント方式は、通常のコミットメント方式の性質をすべて満たしています。しかし、コミッターは多項式そのものを明らかにすることなく、必要な特性を満たすある多項式にコミットしたことを証明することができるという特徴があります。
スケーリングイーサリアムにおける

KZG

さまざまな多項式コミットメント方式がありますが、Kate-Zaverucha-Goldberg(KZG)はブロックチェーン領域で人気があり、Scrollの証明システムで使用されています。KZGは、2022年2月に提案されたEIP-4844によって実装されるProto-Dankshardingと共にEthereumに統合される予定でもある。

Proto-Dankshardingは、ロールアップをより安価に利用できるDankshardingが実装されるまでの応急処置的な解決策です。Proto-Dankshardingは、”blob-carrying transaction “と呼ばれる新しいトランザクションタイプを導入する。これらのトランザクションは128kbのデータブロブを運び、イーサリアムの実行レイヤーからアクセスすることはできない。その代わり、データブロブへのコミットメントだけがイーサリアムからアクセスできるようになる。

データブロブは多項式で表現され、多項式コミットメントスキームKZGがデータへのコミットメントを作成するために使用されます。これにより、データブロブ全体を公開することなく、データブロブのプロパティを検証することができます。

したがって、KZGの使用により、完全なDankshardingへのパスで実装されるデータ利用可能性サンプリング(DAS)を可能にすることができる。DASは基本的に、バリデータがデータブロブ全体を読まなくても、データブロブが利用可能で正しいことを確認することを可能にする。

これにより、バリデータはより少ないデータを扱う必要があるため、イーサリアムのスケーラビリティの強化に大きく貢献することができます。

Related Posts

Leave a Comment