Nova: Система ограничения с ослабленным рангом способствует эффективным zk-SNARKs

2025-08-05 01:56:38

Генерация тезисов в процессе

Nova: Новая технология нулевых знаний, основанная на системе ограничений с ослабленным рангом.

Nova является новой системой zk-SNARKs, разработанной Microsoft, которая использует технологию Relaxed Rank-1 Constraint Systems (Relaxed R1CS) для повышения эффективности и гибкости доказательства.

Основные преимущества Nova

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

Потенциальные недостатки Nova

Использование расслабленных R1CS может снизить безопасность доказательства, но разработчики уже приняли меры для решения этой проблемы.
Реализация относительно сложная, что увеличивает трудности в использовании и обслуживании.

Позиция Nova в области zk-SNARKs

Nova открыла новые горизонты для развития zk-SNARKs. Применяемая ею технология расслабленного R1CS делает процесс генерации и верификации доказательств более эффективным, что имеет решающее значение для масштабных приложений zk-SNARKs. Поддержка инкрементальных вычислений и полиномиальных вычислений еще больше расширяет область применения zk-SNARKs.

Основные компоненты Nova

R1CS и расслабленный R1CS: системы ограничений, используемые для построения zk-SNARKs.
Полиномиальные обязательства: используются для доказательства значения оценки полинома без раскрытия самого полинома.
Алгоритм Sumcheck: используется для проверки суммы многочленов.
Неперекрестные схемы сворачивания (NIFS): используются для доказательства правильности каждого шага в инкрементальных вычислениях.
Эллиптическая криптография (ECC): предоставляет эффективную технологию шифрования с открытым ключом.
Функция хеширования Keccak256: используется для обработки транскрипта в процессе zk-SNARKs.

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

Посмотреть Оригинал

На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .

12 Лайков