Nova является новым типом рекурсивного zk-SNARK( нулевого знания компактных неинтерактивных доказательств знаний), разработанным Исследовательским центром Microsoft. Он использует технологию, называемую расслабленной ранговой системой ограничений( Relaxed Rank-1 Constraint Systems, Relaxed R1CS), для повышения эффективности и гибкости доказательства.
Основные преимущества Nova
Используя технологию R1CS с расслаблением, снижены требования к случайности, что значительно повысило эффективность доказательства.
Поддержка инкрементальных вычислений, можно поэтапно рассчитывать сложные функции, не нужно выполнять все вычисление сразу.
Поддержка полиномиальных вычислений, способных обрабатывать более сложные задачи доказательства
Процесс генерации и проверки доказательств стал более эффективным, подходит для масштабных приложений.
Потенциальные ограничения Nova
Расслабленный R1CS может привести к немного более низкой безопасности доказательства по сравнению с традиционными системами R1CS.
Реализация относительно сложная, использование и обслуживание затруднены.
Необходимо глубоко понимать продвинутые криптографические технологии, чтобы эффективно их использовать и модифицировать.
Основные компоненты Nova
R1CS и расслабленный R1CS: системы ограничений для построения нулевых знаний.
Полиномиальная схема обязательств: используется для доказательства значений оценки полинома
Невзаимодействующее сворачивающее решение ( NIFS ): для доказательства корректности каждого шага инкрементального вычисления
Алгоритм Sumcheck: используется для проверки суммы многочленов
Функция хеширования Keccak256: используется для обработки транскрипта в процессе доказательства
Операции с большими числами: поддержка вычислений, выходящих за пределы обычного диапазона целых чисел
Nova реализовала эффективную рекурсивную доказательную систему благодаря инновационному сочетанию этих компонентов, что заложило основу для широкомасштабного применения технологии нулевых знаний.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
11 Лайков
Награда
11
4
Поделиться
комментарий
0/400
CryptoCrazyGF
· 07-06 00:01
Неплохо, папа Майкрософт пришёл в силу
Посмотреть ОригиналОтветить0
NotFinancialAdviser
· 07-05 22:28
Майкрософт опять пришел за Клиповые купоны.
Посмотреть ОригиналОтветить0
GhostAddressMiner
· 07-05 22:28
Microsoft тоже играет с конфиденциальностью? Подозрительные данные на бумаге, трудно отследить потоки средств.
Nova: Новое поколение высокоэффективной рекурсивной zk-SNARK системы и ее преимущества
Nova: Эффективная рекурсивная zk-SNARK система
Nova является новым типом рекурсивного zk-SNARK( нулевого знания компактных неинтерактивных доказательств знаний), разработанным Исследовательским центром Microsoft. Он использует технологию, называемую расслабленной ранговой системой ограничений( Relaxed Rank-1 Constraint Systems, Relaxed R1CS), для повышения эффективности и гибкости доказательства.
Основные преимущества Nova
Потенциальные ограничения Nova
Основные компоненты Nova
R1CS и расслабленный R1CS: системы ограничений для построения нулевых знаний.
Полиномиальная схема обязательств: используется для доказательства значений оценки полинома
Невзаимодействующее сворачивающее решение ( NIFS ): для доказательства корректности каждого шага инкрементального вычисления
Алгоритм Sumcheck: используется для проверки суммы многочленов
Эллиптическая криптография ( ECC ): предоставляет базовые криптографические примитивы
Функция хеширования Keccak256: используется для обработки транскрипта в процессе доказательства
Операции с большими числами: поддержка вычислений, выходящих за пределы обычного диапазона целых чисел
Nova реализовала эффективную рекурсивную доказательную систему благодаря инновационному сочетанию этих компонентов, что заложило основу для широкомасштабного применения технологии нулевых знаний.