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
· 16ч назад
Еще один 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
  • Закрепить