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

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

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