1/13 @SuccinctJTからの新しい調査: sum-check プロトコルは、すべての高速 SNARK 証明者の基盤です。 重要な論文: 証明時間は、(1) コミットメントコストと (2) データが整形式であることを証明することによって支配されます。合計チェックは、正しく使用すると、両方を最小限に抑えます。🧵