Nova є новою системою нульового знання, розробленою Microsoft, яка використовує технологію ослаблених обмежень рангу для підвищення ефективності та гнучкості доказів. Вона займає важливе місце в сфері нульового знання, відкриваючи нові можливості для широкомасштабних застосувань.
Основні переваги
Використання технології R1CS з розслабленими умовами, зменшення використання випадковості, значне підвищення ефективності доказів
Підтримка інкрементальних обчислень, можливість поетапного обчислення складних функцій
Підтримка поліономіальних обчислень, що дозволяє обробляти більш складні завдання доказу
Основні модулі
Основний код Nova в основному містить кілька важливих модулів:
bellperson: Реалізація функцій генерації R1CS
схема: визначення посиленої схеми протоколу Nova
гаджети: реалізація різних криптографічних примітивів гаджета
постачальник: надає основні компоненти, такі як полігональні зобов'язання, хеш-функції тощо
r1cs: визначення структур даних та операцій, пов'язаних з R1CS
спартан: реалізація протоколу Spartan
traits: визначення різних інтерфейсів властивостей
Ключові структури даних
R1CSShape: представляє форму матриці R1CS
R1CSWitness: представляє свідка для R1CS екземпляра
R1CSInstance: представляє собою екземпляр R1CS
RelaxedR1CSWitness: позначає свідка для розслабленого R1CS екземпляру
RelaxedR1CSInstance: представляє собою розслаблений R1CS екземпляр
Основний алгоритм
Алгоритм Sumcheck: використовується для перевірки суми多项式
Оцінка многочлена: доведення значення многочлена в певній точці
Некомунікативне згортання: згортання кількох доказів в один доказ
Застосування вартості
Система Nova забезпечує потужні інструменти для створення ефективних нульових доказів, які можуть широко використовуватися в таких сферах, як блокчейн, обчислення конфіденційності тощо, сприяючи масовому впровадженню технології нульових доказів.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Nova: Аналіз нової системи zk-SNARKs, розробленої Microsoft
Аналіз проекту Nova
Nova є новою системою нульового знання, розробленою Microsoft, яка використовує технологію ослаблених обмежень рангу для підвищення ефективності та гнучкості доказів. Вона займає важливе місце в сфері нульового знання, відкриваючи нові можливості для широкомасштабних застосувань.
Основні переваги
Основні модулі
Основний код Nova в основному містить кілька важливих модулів:
bellperson: Реалізація функцій генерації R1CS
схема: визначення посиленої схеми протоколу Nova
гаджети: реалізація різних криптографічних примітивів гаджета
nifs: реалізація неінтерактивної склоподібної схеми
постачальник: надає основні компоненти, такі як полігональні зобов'язання, хеш-функції тощо
r1cs: визначення структур даних та операцій, пов'язаних з R1CS
спартан: реалізація протоколу Spartan
traits: визначення різних інтерфейсів властивостей
Ключові структури даних
Основний алгоритм
Застосування вартості
Система Nova забезпечує потужні інструменти для створення ефективних нульових доказів, які можуть широко використовуватися в таких сферах, як блокчейн, обчислення конфіденційності тощо, сприяючи масовому впровадженню технології нульових доказів.