Nova: ефективна рекурсивна zk-SNARK система

Nova є новим типом рекурсивної zk-SNARK( системи нульових знань, розробленої дослідницькою групою Microsoft. Вона використовує технологію, відому як розслаблена рангово-одна система обмежень) Relaxed Rank-1 Constraint Systems, Relaxed R1CS(, для покращення ефективності та гнучкості доказів.

Основні переваги Nova

• Використання технології R1CS з розслабленням зменшує вимоги до випадковості, значно підвищуючи ефективність доказів.
• Підтримка інкрементного обчислення, дозволяє поступово обчислювати складні функції, не виконуючи все обчислення за один раз.
• Підтримка поліноміальних обчислень, здатна обробляти більш складні завдання доказів
• Процес генерування та верифікації доказів став більш ефективним, що підходить для масштабних сценаріїв застосування.

Потенційні обмеження Nova

• Розслаблене R1CS може призвести до дещо нижчої безпеки доказів у порівнянні з традиційними системами R1CS
• Реалізація відносно складна, використання та обслуговування є більш складними.
• Потрібно глибоко зрозуміти передові криптографічні технології, щоб ефективно використовувати та модифікувати

Ядро компонентів Nova

1. R1CS та розслаблений R1CS: системи обмежень, що використовуються для побудови нульових доказів.

2. Поліномні програми: для доведення значень оцінювання поліномів

3. Неперекладний фолдинг-рішення )NIFS(: для доведення правильності кожного кроку інкрементальних обчислень

4. Алгоритм Sumcheck: використовується для перевірки суми多项式

5. Еліптична криптографія ) ECC (: надає базові криптографічні примітиви

6. Функція хешування Keccak256: використовується для обробки транскрипції в процесі доведення

7. Обчислення великих цілих чисел: підтримка обчислень, що виходять за межі звичайного діапазону цілих чисел

Nova через інноваційне поєднання цих компонентів реалізувала ефективну рекурсивну систему доказів, що заклала основу для масового застосування технології нульового знання.