Nova — это новая система zk-SNARKs, разработанная Microsoft. Она использует технологию (Relaxed R1CS) для повышения эффективности и гибкости доказательств.
Основные преимущества Nova:
Используя ослабленные R1CS, уменьшили количество случайностей, необходимых в доказательстве, значительно повысив эффективность генерации и проверки доказательства.
Поддержка инкрементального вычисления позволяет постепенно вычислять сложные функции, не требуя одновременного вычисления всей функции.
Поддержка полиномиальных вычислений, способных обрабатывать более сложные задачи доказательства.
Предоставлен эффективный механизм сворачивания доказательств, который позволяет объединять несколько доказательств в одно.
Однако у Nova есть некоторые ограничения:
Из-за использования ослабленной R1CS, ее прочность доказательства может быть ниже, чем у традиционных систем R1CS.
Реализация относительно сложна, что усложняет использование и обслуживание.
Необходимо глубоко понимать такие сложные криптографические технологии, как полиномиальные вычисления и групповые операции, чтобы эффективно их использовать.
Nova занимает важное место в области zk-SNARKs, предоставляя новые возможности для широкомасштабного применения. Его появление расширяет область применения zk-SNARKs, открывая новые возможности для таких сфер, как блокчейн и безопасные вычисления.
Ядро реализации Nova включает в себя:
Определение и операции R1CS и ослабленного R1CS
Полиномиальные обязательства
Неперекрестный свёрток (NIFS)
Алгоритм Sumcheck
Внутреннее произведение доказательства ( IPA )
С помощью сочетания этих технологий Nova достигла эффективного создания и проверки доказательств. В будущем Nova, как ожидается, сыграет важную роль в области защиты конфиденциальности, проверяемых вычислений и других.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
18 Лайков
Награда
18
4
Поделиться
комментарий
0/400
ChainComedian
· 08-04 03:56
Майкрософт не хочет снова создать ловушку, чтобы побороться с L2 за рабочие места?
Посмотреть ОригиналОтветить0
Anon32942
· 08-04 03:55
Старый Microsoft тоже начал играть с нулевыми знаниями???
Посмотреть ОригиналОтветить0
NftDeepBreather
· 08-04 03:46
Я давно считал, что полагаться на gm в бычьем рынке не надежно.
Nova: Прогрессивная система zk-SNARKs повышает эффективность Блокчейн
Nova: Эффективная система zk-SNARKs
Nova — это новая система zk-SNARKs, разработанная Microsoft. Она использует технологию (Relaxed R1CS) для повышения эффективности и гибкости доказательств.
Основные преимущества Nova:
Используя ослабленные R1CS, уменьшили количество случайностей, необходимых в доказательстве, значительно повысив эффективность генерации и проверки доказательства.
Поддержка инкрементального вычисления позволяет постепенно вычислять сложные функции, не требуя одновременного вычисления всей функции.
Поддержка полиномиальных вычислений, способных обрабатывать более сложные задачи доказательства.
Предоставлен эффективный механизм сворачивания доказательств, который позволяет объединять несколько доказательств в одно.
Однако у Nova есть некоторые ограничения:
Из-за использования ослабленной R1CS, ее прочность доказательства может быть ниже, чем у традиционных систем R1CS.
Реализация относительно сложна, что усложняет использование и обслуживание.
Необходимо глубоко понимать такие сложные криптографические технологии, как полиномиальные вычисления и групповые операции, чтобы эффективно их использовать.
Nova занимает важное место в области zk-SNARKs, предоставляя новые возможности для широкомасштабного применения. Его появление расширяет область применения zk-SNARKs, открывая новые возможности для таких сфер, как блокчейн и безопасные вычисления.
Ядро реализации Nova включает в себя:
С помощью сочетания этих технологий Nova достигла эффективного создания и проверки доказательств. В будущем Nova, как ожидается, сыграет важную роль в области защиты конфиденциальности, проверяемых вычислений и других.