1/ Новый опрос: Sum-check — это все, что вам нужно. Только что опубликован опрос о принципах дизайна, лежащих в основе Jolt и более широких fast-prover SNARK. Можно утверждать, что это, пожалуй, первый раз, когда основные идеи были записаны в одном месте.

2/ Что такое протокол проверки суммы? Это основа самых быстрых SNARK в наше время. Интерактивное доказательство, которое проверяет огромную сумму с минимальными затратами. В SNARK это позволяет доказателям фиксировать гораздо меньше данных. Большая часть работы сводится к простым сложениям и умножениям.

3/ Но не все применения проверки суммы равны. Самые быстрые SNARK используют её разумно, используя повторяющуюся структуру для минимизации работы доказателя. Ключевые техники: – Аргументы пакетной оценки – Проверка памяти – Виртуальные многочлены – Разреженные проверки суммы – Сохранение малых значений

Чтобы добавить немного нюансов, проверка суммы может помочь ускорить процесс обязательств по небольшим значениям с использованием хеширования. Например, FRI-Binius упаковывает множество небольших значений в один элемент поля перед применением схемы обязательств, подобной FRI, к упакованным значениям. Затем проверка суммы используется для связи распакованных значений (которые на самом деле интересуют проверяющего) с упакованными, которые фактически были зафиксированы.