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 предоставляет мощные инструменты для построения эффективных нулевых доказательств, которые могут широко применяться в области блокчейна, конфиденциальных вычислений и других областях, способствуя масштабному применению технологий нулевых знаний.