Nova - это новая система zk-SNARKs, разработанная Microsoft, которая использует технологию (Relaxed R1CS) для повышения эффективности и гибкости доказательства.
Основные преимущества Nova заключаются в использовании технологии ослабленного R1CS. Традиционные системы R1CS требуют использования большого количества случайностей в процессе доказательства, что делает процесс генерации и проверки доказательства сложным и времязатратным. Nova, используя ослабленный R1CS, позволяет использовать меньше случайностей в доказательствах, что значительно повышает эффективность доказательства.
Кроме того, Nova также поддерживает инкрементальные вычисления, позволяя постепенно вычислять сложные функции, не вычисляя всю функцию сразу. Это очень полезно при работе с большими объемами данных или сложными вычислениями. Nova также поддерживает полиномиальные вычисления, что позволяет обрабатывать более сложные задачи доказательства.
Недостаток Nova заключается в том, что из-за использования ослабленного R1CS ее доказательства могут быть не столь мощными, как в традиционных системах R1CS. Ослабленный R1CS позволяет использовать меньше случайности, что может снизить безопасность доказательства. Тем не менее, разработчики Nova приняли меры для решения этой проблемы, такие как использование более мощных криптографических алгоритмов и более сложных стратегий доказательства.
Кроме того, реализация Nova относительно сложна, что может увеличить трудности в использовании и обслуживании. Nova использует множество продвинутых криптографических технологий, для эффективного использования и модификации Nova необходимо глубокое понимание этих технологий.
В общем, Nova занимает важное место в области zk-SNARKs. Ее технология ослабленных R1CS делает генерацию и верификацию доказательств более эффективными, что имеет решающее значение для масштабных приложений zk-SNARKs. Nova также поддерживает инкрементальные вычисления и полиномиальные вычисления, что еще больше расширяет область применения zk-SNARKs.
Исходный код Nova в основном состоит из следующих ключевых модулей:
bellperson: реализовать функции, связанные с R1CS.
гаджеты: инструменты для создания zk-SNARKs.
spartan: Реализовать функции, связанные с протоколом Spartan.
traits: Определены некоторые общие traits, такие как Group, CommitmentTrait и другие.
r1cs.rs: Определение связанных с R1CS структур данных и методов.
ipa_pc.rs: Реализация схемы многочленов с обязательствами на основе IPA.
Эти модули совместно реализуют основные функции Nova, включая систему ограничений R1CS, полиномиальные обязательства, генерацию и проверку zk-SNARKs и т.д. Nova достигает эффективной системы zk-SNARKs за счет комбинации этих модулей.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
15 Лайков
Награда
15
9
Поделиться
комментарий
0/400
GasWrangler
· 07-15 08:59
с технической точки зрения, расслабленная r1cs nova является субоптимальной для надежных гарантий безопасности...
Посмотреть ОригиналОтветить0
Rugpull幸存者
· 07-14 14:27
У Майкрософт сильный потенциал.
Посмотреть ОригиналОтветить0
PretendingSerious
· 07-13 22:56
бык批 Майкрософт наконец-то сделала что-то хорошее
Посмотреть ОригиналОтветить0
CryptoTarotReader
· 07-13 18:34
Майкрософт пришел! ZK с мощной поддержкой собирается выходить на рынок?
Посмотреть ОригиналОтветить0
BlockchainTalker
· 07-13 18:29
на самом деле, майкрософт занимается zk-доказательствами? это определенно меняет правила игры, честно говоря... не многие люди это понимают
Посмотреть ОригиналОтветить0
¯\_(ツ)_/¯
· 07-13 18:27
Расслабление R1CS так бык!
Посмотреть ОригиналОтветить0
ApeWithNoFear
· 07-13 18:21
Нулевое разглашение доказывает, что оно действительно пахнет
Посмотреть ОригиналОтветить0
PonziDetector
· 07-13 18:18
Майкрософт действительно серьезно относится к нулевым знаниям?
Nova: Технология расслабленного R1CS ведет к новой эффективности zk-SNARKs
Nova: эффективная система zk-SNARKs
Nova - это новая система zk-SNARKs, разработанная Microsoft, которая использует технологию (Relaxed R1CS) для повышения эффективности и гибкости доказательства.
Основные преимущества Nova заключаются в использовании технологии ослабленного R1CS. Традиционные системы R1CS требуют использования большого количества случайностей в процессе доказательства, что делает процесс генерации и проверки доказательства сложным и времязатратным. Nova, используя ослабленный R1CS, позволяет использовать меньше случайностей в доказательствах, что значительно повышает эффективность доказательства.
Кроме того, Nova также поддерживает инкрементальные вычисления, позволяя постепенно вычислять сложные функции, не вычисляя всю функцию сразу. Это очень полезно при работе с большими объемами данных или сложными вычислениями. Nova также поддерживает полиномиальные вычисления, что позволяет обрабатывать более сложные задачи доказательства.
Недостаток Nova заключается в том, что из-за использования ослабленного R1CS ее доказательства могут быть не столь мощными, как в традиционных системах R1CS. Ослабленный R1CS позволяет использовать меньше случайности, что может снизить безопасность доказательства. Тем не менее, разработчики Nova приняли меры для решения этой проблемы, такие как использование более мощных криптографических алгоритмов и более сложных стратегий доказательства.
Кроме того, реализация Nova относительно сложна, что может увеличить трудности в использовании и обслуживании. Nova использует множество продвинутых криптографических технологий, для эффективного использования и модификации Nova необходимо глубокое понимание этих технологий.
В общем, Nova занимает важное место в области zk-SNARKs. Ее технология ослабленных R1CS делает генерацию и верификацию доказательств более эффективными, что имеет решающее значение для масштабных приложений zk-SNARKs. Nova также поддерживает инкрементальные вычисления и полиномиальные вычисления, что еще больше расширяет область применения zk-SNARKs.
Исходный код Nova в основном состоит из следующих ключевых модулей:
bellperson: реализовать функции, связанные с R1CS.
гаджеты: инструменты для создания zk-SNARKs.
spartan: Реализовать функции, связанные с протоколом Spartan.
traits: Определены некоторые общие traits, такие как Group, CommitmentTrait и другие.
r1cs.rs: Определение связанных с R1CS структур данных и методов.
nifs.rs: реализация неинтерактивной схемы сворачивания.
ipa_pc.rs: Реализация схемы многочленов с обязательствами на основе IPA.
Эти модули совместно реализуют основные функции Nova, включая систему ограничений R1CS, полиномиальные обязательства, генерацию и проверку zk-SNARKs и т.д. Nova достигает эффективной системы zk-SNARKs за счет комбинации этих модулей.