Nova: Прорыв в эффективной системе zk-SNARKs, разработанной Microsoft.

robot
Генерация тезисов в процессе

Nova: Эффективная система zk-SNARKs

Nova — это новая система zk-SNARKs, разработанная Microsoft. Она использует технологию (Relaxed R1CS) с ослабленными ограничениями ранга, что значительно повышает эффективность и гибкость доказательств. Основные характеристики Nova включают:

  • Используя ослабленные R1CS, снизили потребность в случайности в процессе доказательства, что значительно повысило эффективность.
  • Поддержка инкрементальных вычислений, возможность поэтапного вычисления сложных функций без необходимости завершать их за один раз
  • Поддержка полиномиальных вычислений, способна обрабатывать более сложные задачи доказательства
  • Использование современных криптографических технологий, таких как полиномиальные вычисления, операции над группами и случайные оракулы.

Nova занимает важное место в области zk-SNARKs. Она открывает новые возможности для масштабных приложений zk-SNARKs и расширяет область их применения.

Основные компоненты Nova включают:

  • Система R1CS: определяет структуру и операции ограничительной системы
  • Полиномиальные вычисления: реализованы уравнительные полиномы, многолинейные полиномы и др.
  • Программа обязательств: используется для скрытия информации, но позволяет проверить её правильность
  • Алгоритм Sumcheck: проверка правильности суммы многочленов
  • Неинтерактивная схема свертки: используется для доказательства корректности инкрементальных вычислений

Nova также реализовала полный процесс генерации и проверки доказательств, включая три этапа: настройка, доказательство и проверка.

В общем, Nova является эффективной и гибкой системой zk-SNARKs, которая предоставляет надежную основу для построения сложных приложений zk-SNARKs. Она открывает новые возможности для блокчейна, аутентификации и других областей, обеспечивая при этом защиту конфиденциальности.

Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 7
  • Поделиться
комментарий
0/400
StablecoinArbitrageurvip
· 07-20 00:35
*поправляет очки для чтения* хм... оптимизированный R1CS с расслабленными ограничениями? мои сигналы бэктестинга указывают на огромный арбитражный потенциал здесь
Посмотреть ОригиналОтветить0
FlashLoanLarryvip
· 07-19 16:00
wen zkms token ser?
Ответить0
LuckyHashValuevip
· 07-18 16:55
Еще одна система, которая заявляет о своей эффективности? Ждем результатов.
Посмотреть ОригиналОтветить0
¯\_(ツ)_/¯vip
· 07-18 02:15
Ну и дела, даже Майкрософт втянулся!
Посмотреть ОригиналОтветить0
DegenApeSurfervip
· 07-18 02:06
Ё, Giant также наконец-то вышел на арену с zk.
Посмотреть ОригиналОтветить0
ReverseFOMOguyvip
· 07-18 02:02
Майкрософт действительно бык.
Посмотреть ОригиналОтветить0
DisillusiionOraclevip
· 07-18 01:46
Майкрософт уже поднялся на борт, отрасль должна вырасти.
Посмотреть ОригиналОтветить0
  • Закрепить