Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує технологію (Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Основні переваги Nova
Використання розслабленої технології R1CS дозволяє використовувати менше випадковості в доказах, що значно підвищує їхню ефективність.
Підтримка інкрементних обчислень, що дозволяє поступово обчислювати складні функції, не вимагаючи одноразового обчислення всієї функції.
Підтримка поліноміальних обчислень, що дозволяє обробляти більш складні завдання доведення.
Потенційні недоліки Nova
Через використання послаблених R1CS, докази можуть бути не такими потужними, як у традиційних системах R1CS, що може трохи знизити безпеку.
Реалізація відносно складна, потребує глибокого розуміння поліноміальних обчислень, групових операцій та інших передових криптографічних технологій.
Важливе місце Nova
Nova відкриває нові шляхи для розвитку zk-SNARKs. Технологія, яку вона використовує, робить процес створення та верифікації доказів більш ефективним, що є надзвичайно важливим для масштабних застосувань zk-SNARKs. Одночасно Nova також розширює сферу застосування zk-SNARKs, здатна обробляти більш складні завдання доказів.
Основні компоненти Nova
R1CS та Relaxed R1CS: системи обмежень, що використовуються для побудови zk-SNARKs.
Поліномні зобов'язання: використовуються для доведення значення оцінки полінома без розкриття самого полінома.
Алгоритм Sumcheck: використовується для перевірки суми多项式.
Інкрементальні обчислення: дозволяють поетапно обчислювати складні функції.
Непараметричні схеми згортання ( NIFS ): для доведення правильності кожного кроку в інкрементальних обчисленнях.
Nova, поєднуючи ці технології інноваційним способом, реалізувала ефективну та гнучку систему zk-SNARKs, що забезпечує потужні інструменти для блокчейн-технологій, безпечних обчислень та інших сфер.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
12 лайків
Нагородити
12
4
Поділіться
Прокоментувати
0/400
BoredRiceBall
· 07-16 18:38
Майкрософт також займається zk? Пішли-пішли
Переглянути оригіналвідповісти на0
CryptoCross-TalkClub
· 07-14 03:53
Система доказів послабилася, у блокчейні невдахи швидко розблоковуйте нові способи обдурювання людей, як лохів
Переглянути оригіналвідповісти на0
RugpullSurvivor
· 07-14 03:49
Цього разу у Microsoft є дещо цікаве!
Переглянути оригіналвідповісти на0
GasWhisperer
· 07-14 03:33
хмм... розслаблена r1cs схожа на спостереження за газовими хвилями під час низького завантаження... елегантно, але ризиковано, чесно кажучи
Nova: Технологія R1CS з розслабленням відкриває нову еру zk-SNARKs
Nova: Інноваційна система zk-SNARKs
Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує технологію (Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Основні переваги Nova
Використання розслабленої технології R1CS дозволяє використовувати менше випадковості в доказах, що значно підвищує їхню ефективність.
Підтримка інкрементних обчислень, що дозволяє поступово обчислювати складні функції, не вимагаючи одноразового обчислення всієї функції.
Підтримка поліноміальних обчислень, що дозволяє обробляти більш складні завдання доведення.
Потенційні недоліки Nova
Через використання послаблених R1CS, докази можуть бути не такими потужними, як у традиційних системах R1CS, що може трохи знизити безпеку.
Реалізація відносно складна, потребує глибокого розуміння поліноміальних обчислень, групових операцій та інших передових криптографічних технологій.
Важливе місце Nova
Nova відкриває нові шляхи для розвитку zk-SNARKs. Технологія, яку вона використовує, робить процес створення та верифікації доказів більш ефективним, що є надзвичайно важливим для масштабних застосувань zk-SNARKs. Одночасно Nova також розширює сферу застосування zk-SNARKs, здатна обробляти більш складні завдання доказів.
Основні компоненти Nova
R1CS та Relaxed R1CS: системи обмежень, що використовуються для побудови zk-SNARKs.
Поліномні зобов'язання: використовуються для доведення значення оцінки полінома без розкриття самого полінома.
Алгоритм Sumcheck: використовується для перевірки суми多项式.
Інкрементальні обчислення: дозволяють поетапно обчислювати складні функції.
Непараметричні схеми згортання ( NIFS ): для доведення правильності кожного кроку в інкрементальних обчисленнях.
Nova, поєднуючи ці технології інноваційним способом, реалізувала ефективну та гнучку систему zk-SNARKs, що забезпечує потужні інструменти для блокчейн-технологій, безпечних обчислень та інших сфер.