Nova — это новая система нулевого знания, разработанная Microsoft, которая использует технологию расслабленных ранговых ограничений первого порядка (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) для повышения эффективности и гибкости доказательства.
Основные преимущества Nova
Используя расслабленную технологию R1CS, значительно повысилась эффективность доказательства.
Поддержка инкрементальных вычислений, что позволяет постепенно вычислять сложные функции, не вычисляя всю функцию за один раз.
Поддержка полиномиальных вычислений, способная обрабатывать более сложные задачи доказательства.
Потенциальные недостатки Nova
Доказательства могут быть не такими мощными, как традиционные системы R1CS, поскольку ослабленный R1CS позволяет использовать меньше случайности в доказательствах.
Реализация относительно сложная, что может увеличить сложность использования и обслуживания.
Важность Nova в области zk-SNARKs
Появление Nova открыло новые горизонты для развития zk-SNARKs. Его эффективность и гибкость сделали возможным массовое применение zk-SNARKs, что further расширило область их применения.
Основные компоненты Nova
R1CS и расслабленное R1CS: системы ограничений, используемые для построения zk-SNARKs.
Схема многочленных обязательств: используется для доказательства правильности оценки многочлена.
Неперекрестная схема сворачивания (NIFS): используется для подтверждения правильности каждого шага в инкрементальных вычислениях.
Алгоритм Sumcheck: используется для проверки суммы многочленов.
Эллиптическая криптография (ECC): предоставляет базовые криптографические операции.
Реализация Nova включает в себя несколько сложных криптографических концепций и технологий, таких как R1CS, многочленные обязательства, случайные оракулы и т.д. Эти компоненты вместе образуют эффективную и гибкую систему zk-SNARKs, обеспечивая мощную техническую поддержку для приложений в области блокчейна, аутентификации и т.д.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
9 Лайков
Награда
9
8
Репост
Поделиться
комментарий
0/400
MidnightTrader
· 07-15 10:05
Майкрософт, похоже, разобрался с этим.
Посмотреть ОригиналОтветить0
TokenVelocity
· 07-15 01:51
Когда Microsoft начала заниматься zk...
Посмотреть ОригиналОтветить0
ForkMonger
· 07-15 01:34
мех... централизованный zk от msft? что может пойти не так
Nova: Эффективная система zk-SNARKs, разработанная Microsoft, революционизирует приложения Блокчейн
Nova: эффективная система zk-SNARKs
Nova — это новая система нулевого знания, разработанная Microsoft, которая использует технологию расслабленных ранговых ограничений первого порядка (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) для повышения эффективности и гибкости доказательства.
Основные преимущества Nova
Используя расслабленную технологию R1CS, значительно повысилась эффективность доказательства.
Поддержка инкрементальных вычислений, что позволяет постепенно вычислять сложные функции, не вычисляя всю функцию за один раз.
Поддержка полиномиальных вычислений, способная обрабатывать более сложные задачи доказательства.
Потенциальные недостатки Nova
Доказательства могут быть не такими мощными, как традиционные системы R1CS, поскольку ослабленный R1CS позволяет использовать меньше случайности в доказательствах.
Реализация относительно сложная, что может увеличить сложность использования и обслуживания.
Важность Nova в области zk-SNARKs
Появление Nova открыло новые горизонты для развития zk-SNARKs. Его эффективность и гибкость сделали возможным массовое применение zk-SNARKs, что further расширило область их применения.
Основные компоненты Nova
R1CS и расслабленное R1CS: системы ограничений, используемые для построения zk-SNARKs.
Схема многочленных обязательств: используется для доказательства правильности оценки многочлена.
Неперекрестная схема сворачивания (NIFS): используется для подтверждения правильности каждого шага в инкрементальных вычислениях.
Алгоритм Sumcheck: используется для проверки суммы многочленов.
Эллиптическая криптография (ECC): предоставляет базовые криптографические операции.
Реализация Nova включает в себя несколько сложных криптографических концепций и технологий, таких как R1CS, многочленные обязательства, случайные оракулы и т.д. Эти компоненты вместе образуют эффективную и гибкую систему zk-SNARKs, обеспечивая мощную техническую поддержку для приложений в области блокчейна, аутентификации и т.д.