Nova — это новая система zk-SNARKs, разработанная Microsoft, которая использует технологию (Relaxed R1CS) для повышения эффективности и гибкости доказательств.
Преимущества Nova
Основное преимущество Nova заключается в использовании расслабленной технологии R1CS. Традиционные системы R1CS требуют большого количества случайных данных в процессе доказательства, что делает процесс генерации и проверки доказательства сложным и времязатратным. Nova, используя расслабленный R1CS, позволяет использовать меньше случайных данных в доказательстве, значительно повышая эффективность доказательства.
Nova также поддерживает инкрементальные вычисления, позволяя постепенно вычислять сложные функции, не рассчитывая всю функцию сразу. Это очень полезно при обработке больших объемов данных или сложных вычислений. Кроме того, Nova поддерживает полиномиальные вычисления, что позволяет решать более сложные задачи доказательства.
Недостатки Nova
Nova использует расслабленный R1CS, его доказательства могут быть не столь мощными, как в традиционных системах R1CS. Расслабленный R1CS использует меньше случайности, что может снизить безопасность доказательства. Тем не менее, разработчики Nova предприняли меры для решения этой проблемы, такие как использование более мощных криптографических алгоритмов и более сложных стратегий доказательства.
Во-вторых, реализация Nova относительно сложна, что может увеличить трудности в использовании и обслуживании. Nova использует множество современных криптографических технологий, таких как полиномиальные вычисления, группы операций и случайные оракулы, что требует глубокого понимания этих технологий для эффективного использования и модификации Nova.
Важное место Nova в области zk-SNARKs
Nova занимает важное место в области zk-SNARKs. Она открывает новые пути для развития zk-SNARKs. Используемая Nova технология расслабленного R1CS делает процесс генерации и проверки доказательств более эффективным, что имеет решающее значение для широкомасштабных приложений zk-SNARKs. Кроме того, Nova поддерживает инкрементальные вычисления и полиномиальные вычисления, что позволяет обрабатывать более сложные задачи доказательства и далее расширяет область применения zk-SNARKs.
Анализ исходного кода Nova
Исходный код Nova в основном содержит следующие важные модули:
gadgets: Включает инструменты для построения zk-SNARKs доказательств.
provider: Содержит код некоторых поставщиков, таких как реализация хеш-функции Keccak.
spartan: Содержит код, связанный с протоколом Spartan.
traits: Определены некоторые общие поведения Rust traits.
Ядро реализации Nova включает:
Реализация R1CS и ослабленного R1CS
Полиномиальные обязательства
Алгоритм Sumcheck
Неперекрестная схема сворачивания ( NIFS )
Операции с эллиптической криптографией
Транскрипционный движок
Эти компоненты вместе составляют систему zk-SNARKs Nova, что позволяет эффективно генерировать и проверять доказательства сложных вычислений, одновременно обеспечивая безопасность и конфиденциальность доказательств.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
17 Лайков
Награда
17
8
Поделиться
комментарий
0/400
DefiEngineerJack
· 07-27 05:09
*вздох* microsoft снова пытается оптимизировать zk... покажите мне формальную верификацию или это просто еще одна L2 приманка
Посмотреть ОригиналОтветить0
tx_pending_forever
· 07-26 11:14
Снова спекулируете на нулевых знаниях? Если безопасность под угрозой, то как это можно использовать?
Посмотреть ОригиналОтветить0
TestnetScholar
· 07-25 14:13
Технологии снова стали сложнее.
Посмотреть ОригиналОтветить0
RugpullTherapist
· 07-25 03:30
Новая игрушка опять меня беспокоит.. это же просто ловушка
Посмотреть ОригиналОтветить0
liquiditea_sipper
· 07-25 03:26
Хорошая работа, Microsoft, с балансировкой.
Посмотреть ОригиналОтветить0
Rugpull幸存者
· 07-25 03:25
Эта курица не стоит того, лучше использовать Stark
Посмотреть ОригиналОтветить0
MoonMathMagic
· 07-25 03:20
Еще одна система жертвует безопасностью ради производительности.
Nova: Новая система zk-SNARKs повышает эффективность и гибкость
Nova: новая система zk-SNARKs
Nova — это новая система zk-SNARKs, разработанная Microsoft, которая использует технологию (Relaxed R1CS) для повышения эффективности и гибкости доказательств.
Преимущества Nova
Основное преимущество Nova заключается в использовании расслабленной технологии R1CS. Традиционные системы R1CS требуют большого количества случайных данных в процессе доказательства, что делает процесс генерации и проверки доказательства сложным и времязатратным. Nova, используя расслабленный R1CS, позволяет использовать меньше случайных данных в доказательстве, значительно повышая эффективность доказательства.
Nova также поддерживает инкрементальные вычисления, позволяя постепенно вычислять сложные функции, не рассчитывая всю функцию сразу. Это очень полезно при обработке больших объемов данных или сложных вычислений. Кроме того, Nova поддерживает полиномиальные вычисления, что позволяет решать более сложные задачи доказательства.
Недостатки Nova
Nova использует расслабленный R1CS, его доказательства могут быть не столь мощными, как в традиционных системах R1CS. Расслабленный R1CS использует меньше случайности, что может снизить безопасность доказательства. Тем не менее, разработчики Nova предприняли меры для решения этой проблемы, такие как использование более мощных криптографических алгоритмов и более сложных стратегий доказательства.
Во-вторых, реализация Nova относительно сложна, что может увеличить трудности в использовании и обслуживании. Nova использует множество современных криптографических технологий, таких как полиномиальные вычисления, группы операций и случайные оракулы, что требует глубокого понимания этих технологий для эффективного использования и модификации Nova.
Важное место Nova в области zk-SNARKs
Nova занимает важное место в области zk-SNARKs. Она открывает новые пути для развития zk-SNARKs. Используемая Nova технология расслабленного R1CS делает процесс генерации и проверки доказательств более эффективным, что имеет решающее значение для широкомасштабных приложений zk-SNARKs. Кроме того, Nova поддерживает инкрементальные вычисления и полиномиальные вычисления, что позволяет обрабатывать более сложные задачи доказательства и далее расширяет область применения zk-SNARKs.
Анализ исходного кода Nova
Исходный код Nova в основном содержит следующие важные модули:
bellperson: Реализовал генерацию R1CS( Rank-1 Constraint Systems).
gadgets: Включает инструменты для построения zk-SNARKs доказательств.
provider: Содержит код некоторых поставщиков, таких как реализация хеш-функции Keccak.
spartan: Содержит код, связанный с протоколом Spartan.
traits: Определены некоторые общие поведения Rust traits.
Ядро реализации Nova включает:
Эти компоненты вместе составляют систему zk-SNARKs Nova, что позволяет эффективно генерировать и проверять доказательства сложных вычислений, одновременно обеспечивая безопасность и конфиденциальность доказательств.