1/ 新しい調査: 必要なのは合計チェックだけです。 Jolt と高速証明 SNARK の背後にある設計原則に関する調査を投稿しました。核となるアイデアがすべて 1 か所に書き留められたのはおそらく初めてです。

2/ 合計チェックプロトコルとは何ですか?これは、今日最速のSNARKのバックボーンです。最小限のオーバーヘッドで巨額をチェックするインタラクティブな証明。SNARKでは、証明者がコミットするデータがはるかに少なくなります。ほとんどの作業は単純な足し算と掛け算になります。

3/ しかし、sum-checkのすべての使用法が同じというわけではありません。最速のSNARKはそれをインテリジェントに使用し、繰り返される構造を利用して証明者の作業を最小限に抑えます。 主なテクニック: – バッチ評価引数 – メモリチェック – 仮想多項式 –スパース合計チェック – 低額保存