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

Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує технологію (Relaxed R1CS) для підвищення ефективності та гнучкості доказів.

Переваги Nova

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

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

Недоліки Nova

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

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

Важлива роль Nova в сфері zk-SNARKs

Nova займає важливу позицію в сфері zk-SNARKs. Вона відкриває нові шляхи для розвитку zk-SNARKs. Використана Nova технологія релаксації R1CS робить процес генерації та верифікації доказів більш ефективним, що є вкрай важливим для масштабних застосувань zk-SNARKs. Крім того, Nova підтримує інкрементальні обчислення та поліноміальні обчислення, що дозволяє обробляти більш складні завдання доказів, ще більше розширюючи область застосування zk-SNARKs.

Аналіз вихідного коду Nova

Основний код Nova в основному містить такі важливі модулі:

• bellperson: реалізував генерацію R1CS( Rank-1 Constraint Systems).

• gadgets: містять інструменти для побудови zk-SNARKs доказів.

• provider: Містить код деяких постачальників, таких як реалізація хеш-функції Keccak.

• spartan: містить код, пов'язаний з протоколом Spartan.

• traits: Визначає деякі загальні поведінки Rust traits.

Ядро реалізації Nova включає:

• Реалізація R1CS та розслабленого R1CS
• Поліноміальні зобов'язання
• Алгоритм Sumcheck
• Неперервне згортання схеми (NIFS)
• Операції з криптографією на еліптичних кривих
• Двигун транскрипції

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