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

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

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

もう少しニュアンスを加えると、sum-checkは、ハッシュベースのコミットメントで小さな値へのコミットを高速化するのに役立つ可能性があります。 たとえば、FRI-Binius は、パックされた値に FRI のようなコミットメント スキームを適用する前に、多くの小さな値を 1 つのフィールド要素にパックします。次に、合計チェックを使用して、アンパックされた値 (検証者が実際に気にしている値) を、実際にコミットされたパックされた値に関連付けます。