Nova: Новая система zk-SNARKs

Nova — это новая система zk-SNARKs, разработанная Microsoft, которая использует расслабленную систему ограничений ранга 1 ( Relaxed R1CS ) для повышения эффективности и гибкости доказательства.

Основные преимущества Nova включают:

• Используя расслабленную технологию R1CS, можно использовать меньше случайности в доказательствах, что значительно повышает эффективность доказательства.
• Поддержка инкрементальных вычислений, можно поэтапно вычислять сложные функции
• Поддержка многочленных вычислений, что позволяет обрабатывать более сложные задачи доказательства

У Nova есть и некоторые недостатки:

• Из-за использования ослабленной R1CS, доказательства могут быть не столь мощными, как в традиционных системах R1CS.
• Реализация относительно сложная, использование и обслуживание имеют большую сложность.

Тем не менее, Nova по-прежнему занимает важное место в области zk-SNARKs. Она открыла новые пути для развития zk-SNARKs, сделав процесс генерации и проверки доказательств более эффективным, что позволяет обрабатывать более сложные задачи доказательства и进一步 расширяет область применения zk-SNARKs.

Основная реализация Nova включает:

• Определение и реализация R1CS и расслабленного R1CS
• Структуры данных и алгоритмы, связанные с полиномиальными вычислениями
• Реализация протокола Sumcheck
• Реализация неинтерактивной схемы свертки ( NIFS )
• Схема обязательств многочлена на основе доказательства внутреннего произведения

Эти компоненты вместе составляют эффективную систему zk-SNARKs Nova, которая внесла важный вклад в прогресс технологии zk-SNARKs.