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

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

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

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

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

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

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

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

Потенційні недоліки Nova

  1. Доказ може бути не таким потужним, як традиційна система R1CS, оскільки розслаблений R1CS дозволяє використовувати менше випадковості в доказі.

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

Важливість Nova в галузі zk-SNARKs

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

Основні компоненти Nova

  1. R1CS та розслаблене R1CS: системи обмежень, що використовуються для побудови zk-SNARKs.

  2. Схема обіцянок багато项ного: для доведення правильності оцінки багато项ного.

  3. Некомунікативна схема згортання (NIFS): використовується для підтвердження правильності кожного кроку в інкрементальних обчисленнях.

  4. Алгоритм Sumcheck: використовується для перевірки суми多项式.

  5. Криптографія на основі еліптичних кривих (ECC): забезпечує базові криптографічні операції.

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

Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 8
  • Репост
  • Поділіться
Прокоментувати
0/400
MidnightTradervip
· 07-15 10:05
Майкрософт вже зрозумів це, чи не так?
Переглянути оригіналвідповісти на0
TokenVelocityvip
· 07-15 01:51
Коли Microsoft почала займатися zk...
Переглянути оригіналвідповісти на0
ForkMongervip
· 07-15 01:34
мех... централізований zk від msft? Що ж може піти не так?
Переглянути оригіналвідповісти на0
ResearchChadButBrokevip
· 07-12 19:30
Знову змусили Майкрософт виграти.
Переглянути оригіналвідповісти на0
GateUser-0717ab66vip
· 07-12 19:23
Сильний, Майкрософт також почав грати в Блокчейн.
Переглянути оригіналвідповісти на0
ForkTonguevip
· 07-12 19:22
А, це теж зробив Giant!
Переглянути оригіналвідповісти на0
DarkPoolWatchervip
· 07-12 19:03
Це знову система доказів, але вона така складна!
Переглянути оригіналвідповісти на0
BearMarketGardenervip
· 07-12 19:02
Знову намагаються нас обдурити з новими технологіями?
Переглянути оригіналвідповісти на0
  • Закріпити