Nova: революційна система zk-SNARKs підвищує ефективність Блокчейн

robot
Генерація анотацій у процесі

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

Nova є новим типом системи zk-SNARKs, розробленою Microsoft. Вона використовує техніку (Relaxed R1CS) для підвищення ефективності та гнучкості доказів.

Основні переваги Nova:

  1. Використовуючи розслаблені R1CS, зменшено випадковість, необхідну для доказів, що значно підвищує ефективність генерації та перевірки доказів.

  2. Підтримка інкрементальних обчислень, що дозволяє поступово обчислювати складні функції без необхідності одноразового обчислення всієї функції.

  3. Підтримка поліноміальних обчислень, здатна обробляти більш складні завдання доказу.

  4. Забезпечує ефективний механізм згортання доказів, який дозволяє об'єднувати кілька доказів в один.

Проте, у Nova також є деякі обмеження:

  1. Через використання ослаблених R1CS, його сила доказу може бути нижчою, ніж у традиційних системах R1CS.

  2. Реалізація відносно складна, що ускладнює використання та обслуговування.

  3. Потрібно глибоко зрозуміти багаторазові обчислення, групові операції та інші високі криптографічні технології для ефективного використання.

Nova має важливе місце у сфері zk-SNARKs, відкриваючи нові можливості для широкомасштабного застосування. Її поява розширила сферу застосування zk-SNARKs, принісши нові можливості для блокчейну, безпечних обчислень та інших сфер.

Основна реалізація Nova включає:

  • Визначення та операції R1CS і розрідженого R1CS
  • Поліноміальні зобов'язання
  • Невзаємодійна схема згортання ( NIFS )
  • Алгоритм Sumcheck
  • Внутрішнє добуток ( IPA )

Завдяки поєднанню цих технологій Nova досягла високої ефективності у генерації та перевірці доказів. У майбутньому Nova має потенціал відігравати важливу роль у захисті конфіденційності, верифікованих обчисленнях та інших сферах.

Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 4
  • Поділіться
Прокоментувати
0/400
ChainComedianvip
· 08-04 03:56
Майкрософт не хоче знову забрати хліб у L2, чи не так?
Переглянути оригіналвідповісти на0
Anon32942vip
· 08-04 03:55
Старий Майкрософт також вирішив спробувати нульові знання???
Переглянути оригіналвідповісти на0
NftDeepBreathervip
· 08-04 03:46
Давно вважаю, що покладатися на gm під час булрану ненадійно.
Переглянути оригіналвідповісти на0
FarmHoppervip
· 08-04 03:45
Це ж Microsoft настільки потужно?!
Переглянути оригіналвідповісти на0
  • Закріпити