1/ Нове опитування: Перевірка суми - це все, що вам потрібно. Щойно опублікував опитування про принципи дизайну, що лежать в основі Jolt і fast-prover SNARKs у ширшому сенсі. Це, мабуть, перший випадок, коли всі основні ідеї були записані в одному місці.

2/ Що таке протокол перевірки суми? Це основа найшвидших на сьогоднішній день СНАРКІВ. Інтерактивний доказ, який перевіряє величезну суму з мінімальними накладними витратами. У SNARK це дозволяє доказам використовувати набагато менше даних. Велика частина роботи стає простим додаванням і множенням.

3. Але не всі способи використання перевірки суми є однаковими. Найшвидші СНАРКИ використовують його розумно, використовуючи повторювану структуру, щоб мінімізувати роботу проверача. Ключові методики: – Аргументи оцінки партії – Перевірка пам'яті – Віртуальні многочлени – Розріджені суми перевірок – Збереження невеликої вартості

Щоб додати ще один нюанс, перевірка суми потенційно може допомогти прискорити прийняття невеликих значень за допомогою зобов'язань на основі хешування. наприклад, FRI-Binius упаковує багато малих значень в один елемент поля, перш ніж застосувати FRI-подібну схему зобов'язань до упакованих значень. Потім перевірка суми використовується для зв'язку розпакованих значень (які насправді турбують верифікатора) з упакованими, які насправді зберігаються.