ヴィタリック・ブテリンがGKRチュートリアルを発表：超高速ZK証明をサポートする「バッチ×レイヤー」プロトコル

ハ世連がニュースを伝え、Vitalik Buterinが最新の論文を発表し、GKR（Goldreich–Kahan–Rothblum）プロトコルがZK証明を加速する方法について詳細に説明しました。このプロトコルは「バッチ×多層」計算構造に適用され、中間層のコミットメントを大幅に削減し、入力と出力にのみコミットメントを行います。この記事ではPoseidon2ハッシュを例に取り、sumcheckを中心とした再帰的証明プロセスを深く分析し、最適化策（Gruenのテクニック、線形バッチ処理、部分ラウンドのみに立方体の最初の要素を使用）を提案しています。これらの最適化は多項式コミットメントのシナリオでBaseFoldまたはFRIと組み合わせることができます。著者は、実際のコストが従来のSTARKの約100倍の理論値を下回り、単一の桁のコストが期待できると指摘し、Fiat–Shamirチャレンジにおける回路内の予測可能性リスクに警戒するよう促しています。

#Cryptocurrency #ブロックチェーン #Ethereum #ZK証明 #ヴィタリック・ブテリン