Nova: нова технологія zk-SNARKs на основі системи обмежень розслабленого рангу
Nova є новою системою нульових доказів, розробленою Microsoft, яка використовує технологію розслаблених рангових обмежень (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Головні переваги Nova
Використовуючи техніку R1CS з розслабленням, дозволяє використовувати менше випадковості в доказах, що значно підвищує ефективність доказів.
Підтримка інкрементних обчислень, що дозволяє поступово обчислювати складні функції, не виконуючи обчислення всієї функції за один раз.
Підтримка поліноміальних обчислень, що дозволяє обробляти більш складні завдання доказу.
Потенційні недоліки Nova
Використання розслаблених R1CS може знизити безпеку доказу, але розробники вжили заходів для вирішення цієї проблеми.
Реалізація відносно складна, що збільшує труднощі у використанні та обслуговуванні.
Позиція Nova в області zk-SNARKs
Nova відкрила новий шлях для розвитку zk-SNARKs. Використана технологія розслабленого R1CS робить процес генерування та верифікації доказів більш ефективним, що є критично важливим для масштабних застосувань zk-SNARKs. Підтримка інкрементних обчислень та поліноміальних обчислень ще більше розширює сферу застосування zk-SNARKs.
Основні компоненти Nova
R1CS та розслаблене R1CS: системи обмежень, що використовуються для побудови zk-SNARKs.
Поліноміальні зобов'язання: використовується для доведення значення оцінки полінома без розкриття самого полінома.
Алгоритм Sumcheck: використовується для перевірки суми багаточленів.
Неформальні схеми складання (NIFS): використовуються для доведення правильності кожного кроку в інкрементальних обчисленнях.
Elliptic Curve Cryptography (ECC): забезпечує ефективну технологію шифрування з відкритим ключем.
Функція хешування Keccak256: використовується для обробки transcript у процесі zk-SNARKs.
Nova завдяки інноваційній комбінації цих компонентів реалізувала ефективну та гнучку систему zk-SNARKs, що відкриває нові можливості для таких сфер, як блокчейн, автентифікація та безпечні обчислення.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
13 лайків
Нагородити
13
6
Поділіться
Прокоментувати
0/400
GateUser-2fce706c
· 11год тому
Прийшло, прийшло! Новий тренд zk-SNARKs, поспішайте зайняти позиції.
Переглянути оригіналвідповісти на0
MidnightGenesis
· 12год тому
Код виглядає непогано, але я не дуже спокійний.
Переглянути оригіналвідповісти на0
CryptoHistoryClass
· 12год тому
схоже на ще один технічний хайп IEO 2017 року, дійсно
Nova: Система розслаблених обмежень рангу один сприяє ефективним zk-SNARKs
Nova: нова технологія zk-SNARKs на основі системи обмежень розслабленого рангу
Nova є новою системою нульових доказів, розробленою Microsoft, яка використовує технологію розслаблених рангових обмежень (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Головні переваги Nova
Використовуючи техніку R1CS з розслабленням, дозволяє використовувати менше випадковості в доказах, що значно підвищує ефективність доказів.
Підтримка інкрементних обчислень, що дозволяє поступово обчислювати складні функції, не виконуючи обчислення всієї функції за один раз.
Підтримка поліноміальних обчислень, що дозволяє обробляти більш складні завдання доказу.
Потенційні недоліки Nova
Використання розслаблених R1CS може знизити безпеку доказу, але розробники вжили заходів для вирішення цієї проблеми.
Реалізація відносно складна, що збільшує труднощі у використанні та обслуговуванні.
Позиція Nova в області zk-SNARKs
Nova відкрила новий шлях для розвитку zk-SNARKs. Використана технологія розслабленого R1CS робить процес генерування та верифікації доказів більш ефективним, що є критично важливим для масштабних застосувань zk-SNARKs. Підтримка інкрементних обчислень та поліноміальних обчислень ще більше розширює сферу застосування zk-SNARKs.
Основні компоненти Nova
R1CS та розслаблене R1CS: системи обмежень, що використовуються для побудови zk-SNARKs.
Поліноміальні зобов'язання: використовується для доведення значення оцінки полінома без розкриття самого полінома.
Алгоритм Sumcheck: використовується для перевірки суми багаточленів.
Неформальні схеми складання (NIFS): використовуються для доведення правильності кожного кроку в інкрементальних обчисленнях.
Elliptic Curve Cryptography (ECC): забезпечує ефективну технологію шифрування з відкритим ключем.
Функція хешування Keccak256: використовується для обробки transcript у процесі zk-SNARKs.
Nova завдяки інноваційній комбінації цих компонентів реалізувала ефективну та гнучку систему zk-SNARKs, що відкриває нові можливості для таких сфер, як блокчейн, автентифікація та безпечні обчислення.