Nova: ефективна система zk-SNARKs, розроблена Microsoft

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

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

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

Основні переваги Nova

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

Обмеження Nova

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

Важливе місце Nova

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

Основні компоненти Nova

  1. Модуль R1CS: реалізує розслаблену систему R1CS

  2. Модуль обчислення многочленів: реалізує зобов'язання та оцінку многочленів

  3. Алгоритм Sumcheck: перевірка суми多项式

  4. Зобов'язання: реалізовано полігональні зобов'язання

  5. Оцінювальний механізм: реалізовано багаторазову оцінку

  6. Модуль zkSNARK: реалізує систему zk-SNARKs

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

Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 5
  • Поділіться
Прокоментувати
0/400
0xDreamChaservip
· 17год тому
Ще один zk-проект, не відомо, скільки він прослужить.
Переглянути оригіналвідповісти на0
MemeEchoervip
· 08-03 20:59
Я в шоці, що Майкрософт також почав займатися zk. бик бик.
Переглянути оригіналвідповісти на0
BloodInStreetsvip
· 08-02 20:56
бичачий нульовий знань Збирати Ведмежий ринок довгий простір?
Переглянути оригіналвідповісти на0
MeaninglessGweivip
· 08-02 20:55
Це означає жертвувати безпекою заради ефективності.
Переглянути оригіналвідповісти на0
SerumSurfervip
· 08-02 20:30
Дивлячись, стало набагато ефективніше, ніж стара система.
Переглянути оригіналвідповісти на0
  • Закріпити