Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує технологію розслаблених рангових обмежень (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Основні переваги Nova
Використання розслабленої технології R1CS значно зменшило випадковість, необхідну в процесі доведення, що підвищило ефективність генерації та перевірки доведень.
Підтримка інкрементальних обчислень дозволяє поступово обчислювати складні функції, не виконуючи весь обчислювальний процес одноразово. Це особливо корисно при обробці великих обсягів даних або виконанні складних обчислень.
Підтримка поліноміальних обчислень, здатна обробляти більш складні завдання доказу.
Обмеження Nova
Через використання розслабленого R1CS, докази Nova можуть бути не такими потужними, як традиційні системи R1CS. Щоб вирішити цю проблему, розробники Nova використовують більш потужні криптографічні алгоритми та складніші стратегії доказів.
Реалізація Nova є досить складною, включає в себе кілька високорівневих криптографічних технологій, таких як обчислення багато-членів, групові операції та випадкові oracle тощо. Це може ускладнити використання та обслуговування.
Позиція Nova в сфері zk-SNARKs
Nova відкриває нові шляхи для розвитку zk-SNARKs. Його ефективний процес генерації та верифікації доказів є критично важливим для масштабних застосувань zk-SNARKs. Nova підтримує функції інкрементних обчислень і поліноміальних обчислень, що ще більше розширює сферу застосування zk-SNARKs.
Аналіз коду Nova
Джерельний код Nova в основному містить кілька ключових модулів:
bellperson: реалізує функціональність, пов'язану з R1CS (Rank-1 Constraint Systems).
гаджети: містять інструменти для побудови zk-SNARKs доказів.
provider: надає реалізації різних криптографічних примітивів, таких як хеш-функція Keccak.
spartan: реалізовано функції, пов'язані з протоколом Spartan.
traits: визначає різні загальні поведінки та інтерфейси.
Основний файл src/circuit.rs визначає покращені схеми в протоколі Nova, включаючи крокові схеми та схеми верифікації. Файл src/nifs.rs реалізує неконтактну схему складання (Non-Interactive Folding Scheme, NIFS), яка використовується для підтвердження коректності кожного кроку в інкрементальних обчисленнях.
Проект Nova широко використовує можливості мови Rust, такі як traits та генеричне програмування, для забезпечення гнучкої та ефективної реалізації. Проект пов'язаний зі складними криптографічними концепціями та технологіями, включаючи еліптичну криптографію, полігамні зобов'язання, випадкові оракули тощо, що відображає складність та потужність сучасних zk-SNARKs.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
16 лайків
Нагородити
16
4
Репост
Поділіться
Прокоментувати
0/400
GasFeeLady
· 17год тому
хмм, майкрософт нарешті вийшов у zk... цікаво, скільки ефіру вони спалили, тестуючи цю красуню
Переглянути оригіналвідповісти на0
TokenRationEater
· 17год тому
zkp знову виходить з новими ідеями? Хоча не розумію, але виглядає краще!
Nova: ефективна та гнучка система zk-SNARKs, розроблена Microsoft
Nova - ефективна та гнучка система zk-SNARKs
Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує технологію розслаблених рангових обмежень (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Основні переваги Nova
Використання розслабленої технології R1CS значно зменшило випадковість, необхідну в процесі доведення, що підвищило ефективність генерації та перевірки доведень.
Підтримка інкрементальних обчислень дозволяє поступово обчислювати складні функції, не виконуючи весь обчислювальний процес одноразово. Це особливо корисно при обробці великих обсягів даних або виконанні складних обчислень.
Підтримка поліноміальних обчислень, здатна обробляти більш складні завдання доказу.
Обмеження Nova
Через використання розслабленого R1CS, докази Nova можуть бути не такими потужними, як традиційні системи R1CS. Щоб вирішити цю проблему, розробники Nova використовують більш потужні криптографічні алгоритми та складніші стратегії доказів.
Реалізація Nova є досить складною, включає в себе кілька високорівневих криптографічних технологій, таких як обчислення багато-членів, групові операції та випадкові oracle тощо. Це може ускладнити використання та обслуговування.
Позиція Nova в сфері zk-SNARKs
Nova відкриває нові шляхи для розвитку zk-SNARKs. Його ефективний процес генерації та верифікації доказів є критично важливим для масштабних застосувань zk-SNARKs. Nova підтримує функції інкрементних обчислень і поліноміальних обчислень, що ще більше розширює сферу застосування zk-SNARKs.
Аналіз коду Nova
Джерельний код Nova в основному містить кілька ключових модулів:
bellperson: реалізує функціональність, пов'язану з R1CS (Rank-1 Constraint Systems).
гаджети: містять інструменти для побудови zk-SNARKs доказів.
provider: надає реалізації різних криптографічних примітивів, таких як хеш-функція Keccak.
spartan: реалізовано функції, пов'язані з протоколом Spartan.
traits: визначає різні загальні поведінки та інтерфейси.
Основний файл src/circuit.rs визначає покращені схеми в протоколі Nova, включаючи крокові схеми та схеми верифікації. Файл src/nifs.rs реалізує неконтактну схему складання (Non-Interactive Folding Scheme, NIFS), яка використовується для підтвердження коректності кожного кроку в інкрементальних обчисленнях.
Проект Nova широко використовує можливості мови Rust, такі як traits та генеричне програмування, для забезпечення гнучкої та ефективної реалізації. Проект пов'язаний зі складними криптографічними концепціями та технологіями, включаючи еліптичну криптографію, полігамні зобов'язання, випадкові оракули тощо, що відображає складність та потужність сучасних zk-SNARKs.