Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує розслаблену рангову обмежувальну систему ( Relaxed Rank-1 Constraint Systems, технологію 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. Використання технології розслабленого R1CS робить процес генерації та верифікації доказів більш ефективним, що є критично важливим для масштабних застосувань zk-SNARKs. Крім того, Nova підтримує інкрементальні обчислення та поліноміальні обчислення, що дозволяє обробляти більш складні завдання доказів, ще більше розширюючи сферу застосування zk-SNARKs.
Аналіз вихідного коду Nova
Основний код Nova в основному містить такі частини:
bellperson/: Включає код алгоритму Беллмана-Форда.
gadgets/: містить інструменти для побудови zk-SNARKs.
provider/: містить деякі коди постачальників, такі як реалізація хеш-функції Keccak.
spartan/: Містить код, що стосується протоколу Spartan.
traits/: Містить деякі Rust traits, які використовуються для визначення загальної поведінки.
Основні модулі включають:
r1cs: містить код, пов'язаний з R1CS.
shape_cs: містить код, пов'язаний із системою обмежень форм.
solver: містить код, що вирішує систему обмежень.
circuit: визначає підсилений контур у протоколі Nova.
nifs: реалізація неінтерактивної складної схеми.
ipa_pc: Реалізація оцінювального двигуна для полікомітетів на основі IPA.
keccak: Реалізація TranscriptEngineTrait, що використовує хеш-функцію Keccak256.
поліном: визначає основні типи та операції, пов'язані з поліномами.
sumcheck: Реалізація алгоритму Sumcheck у протоколі Spartan.
Ці модулі разом складають основні функції Nova, включаючи систему обмежень R1CS, обчислення多项式, генерацію та перевірку zk-SNARKs тощо. Nova за допомогою комбінації цих модулів реалізувала ефективну систему zk-SNARKs.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
17 лайків
Нагородити
17
1
Поділіться
Прокоментувати
0/400
BankruptcyArtist
· 07-23 09:55
Чи варто жертвувати конфіденційністю заради ефективності?
Система революційних zk-SNARKs Nova: розслаблене R1CS підвищує ефективність та сферу застосування
Nova: нова система zk-SNARKs
Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує розслаблену рангову обмежувальну систему ( Relaxed Rank-1 Constraint Systems, технологію 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. Використання технології розслабленого R1CS робить процес генерації та верифікації доказів більш ефективним, що є критично важливим для масштабних застосувань zk-SNARKs. Крім того, Nova підтримує інкрементальні обчислення та поліноміальні обчислення, що дозволяє обробляти більш складні завдання доказів, ще більше розширюючи сферу застосування zk-SNARKs.
Аналіз вихідного коду Nova
Основний код Nova в основному містить такі частини:
bellperson/: Включає код алгоритму Беллмана-Форда.
gadgets/: містить інструменти для побудови zk-SNARKs.
provider/: містить деякі коди постачальників, такі як реалізація хеш-функції Keccak.
spartan/: Містить код, що стосується протоколу Spartan.
traits/: Містить деякі Rust traits, які використовуються для визначення загальної поведінки.
Основні модулі включають:
r1cs: містить код, пов'язаний з R1CS.
shape_cs: містить код, пов'язаний із системою обмежень форм.
solver: містить код, що вирішує систему обмежень.
circuit: визначає підсилений контур у протоколі Nova.
nifs: реалізація неінтерактивної складної схеми.
ipa_pc: Реалізація оцінювального двигуна для полікомітетів на основі IPA.
keccak: Реалізація TranscriptEngineTrait, що використовує хеш-функцію Keccak256.
поліном: визначає основні типи та операції, пов'язані з поліномами.
sumcheck: Реалізація алгоритму Sumcheck у протоколі Spartan.
Ці модулі разом складають основні функції Nova, включаючи систему обмежень R1CS, обчислення多项式, генерацію та перевірку zk-SNARKs тощо. Nova за допомогою комбінації цих модулів реалізувала ефективну систему zk-SNARKs.