Nova: Microsoft представила ефективну систему zk-SNARKs для підвищення продуктивності ZK-додатків

2025-07-09 10:14:06

Генерація анотацій у процесі

Nova: Ефективна система zk-SNARKs

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

Переваги Nova

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

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

Недоліки Nova

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

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

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

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

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

Джерельний код Nova в основному складається з кількох частин:

Реалізації, пов'язані з R1CS: визначено структури R1CSShape, R1CSWitness, R1CSInstance та їхні методи.
Реалізація протоколу Spartan: включає обчислення многочленів, алгоритм Sumcheck тощо.
Обіцянкове рішення: реалізовано поліноміальне обіцянкове рішення на основі IPA.
Трансляційний двигун: реалізовано TranscriptEngineTrait з використанням хеш-функції Keccak256.
Оцінювальний двигун: реалізовано EvaluationEngineTrait для доказу та верифікації оцінки多项式.
Реалізація SNARK: визначено RelaxedR1CSSNARKTrait, реалізовано методи setup, prove та verify.
Математичні інструменти: реалізовано деякі основні математичні операції, такі як обчислення степеня 2, отримання двійкових розрядів тощо.
Визначення схеми: визначено властивість StepCircuit, яка використовується для опису крокових функцій інкрементних обчислень.

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

ZK-8.36%

Переглянути оригінал

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.

7 лайків

Нагородити
7
7
Поділіться

Прокоментувати

0/400

RunWhenCut