Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує технологію ( Relaxed R1CS ) для підвищення ефективності та гнучкості доказів.
Основною перевагою Nova є використання технології розслаблених R1CS. Традиційні системи R1CS вимагають використання великої кількості випадковості під час процесу доказу, що ускладнює і затягує процес генерації та перевірки доказів. Nova, використовуючи розслаблені R1CS, дозволяє використовувати менше випадковості в доказах, що значно підвищує ефективність доказів.
Крім того, Nova також підтримує інкрементальні обчислення, що дозволяє поступово обчислювати складні функції, не виконуючи обчислення всієї функції одночасно. Це дуже корисно при обробці великих обсягів даних або складних обчислень. Nova також підтримує поліноміальне обчислення, що дозволяє обробляти більш складні завдання доказу.
Недоліком Nova є те, що через використання ослабленого R1CS її докази можуть бути не такими потужними, як у традиційних системах R1CS. Ослаблений R1CS дозволяє використовувати менше випадковості, що може знизити безпеку доказів. Проте, розробники Nova вжили заходів для вирішення цієї проблеми, таких як використання більш потужних криптографічних алгоритмів та більш складних стратегій доказів.
Крім того, реалізація Nova є відносно складною, що може ускладнити використання та обслуговування. Nova використовує багато розвинутих криптографічних технологій, і для ефективного використання та модифікації Nova необхідно глибоко розуміти ці технології.
В цілому, Nova займає важливе місце в галузі zk-SNARKs. Її технологія R1CS з ослабленнями робить генерацію та перевірку доказів більш ефективними, що є критично важливим для масштабних застосувань zk-SNARKs. Nova також підтримує інкрементальні обчислення та поліноміальні обчислення, що подальше розширює сферу застосування zk-SNARKs.
Основний код Nova містить кілька ключових модулів:
bellperson: реалізувати функції, пов'язані з R1CS.
gadgets: включає інструменти для створення zk-SNARKs доказів.
spartan: реалізація функцій, пов'язаних з протоколом Spartan.
traits: визначено деякі загальні traits, такі як Group, CommitmentTrait тощо.
r1cs.rs: визначення структур даних та методів, пов'язаних з R1CS.
ipa_pc.rs: реалізація поліноміальних зобов'язань на основі IPA.
Ці модулі спільно реалізують основні функції Nova, включаючи систему обмежень R1CS, полікомітет, генерацію та верифікацію zk-SNARKs тощо. Nova за допомогою комбінації цих модулів реалізувала ефективну систему zk-SNARKs.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
15 лайків
Нагородити
15
9
Поділіться
Прокоментувати
0/400
GasWrangler
· 07-15 08:59
технічно кажучи, розслаблений r1cs нови є субоптимальним для надійних гарантій безпеки...
Переглянути оригіналвідповісти на0
Rugpull幸存者
· 07-14 14:27
Майкрософт має потужний потенціал.
Переглянути оригіналвідповісти на0
PretendingSerious
· 07-13 22:56
бик публікація Майкрософт нарешті зробила щось хороше
Переглянути оригіналвідповісти на0
CryptoTarotReader
· 07-13 18:34
Майкрософт прийшов! ZK має сили, щоб вийти на біржу?
Переглянути оригіналвідповісти на0
BlockchainTalker
· 07-13 18:29
насправді, microsoft займається zk доказами? це точно змінює правила гри, якщо чесно... не багато людей це усвідомлюють
Nova: Технологія розслабленого R1CS веде до нової ефективності zk-SNARKs
Nova: ефективна система zk-SNARKs
Nova є новою системою zk-SNARKs, розробленою Microsoft, яка використовує технологію ( Relaxed R1CS ) для підвищення ефективності та гнучкості доказів.
Основною перевагою Nova є використання технології розслаблених R1CS. Традиційні системи R1CS вимагають використання великої кількості випадковості під час процесу доказу, що ускладнює і затягує процес генерації та перевірки доказів. Nova, використовуючи розслаблені R1CS, дозволяє використовувати менше випадковості в доказах, що значно підвищує ефективність доказів.
Крім того, Nova також підтримує інкрементальні обчислення, що дозволяє поступово обчислювати складні функції, не виконуючи обчислення всієї функції одночасно. Це дуже корисно при обробці великих обсягів даних або складних обчислень. Nova також підтримує поліноміальне обчислення, що дозволяє обробляти більш складні завдання доказу.
Недоліком Nova є те, що через використання ослабленого R1CS її докази можуть бути не такими потужними, як у традиційних системах R1CS. Ослаблений R1CS дозволяє використовувати менше випадковості, що може знизити безпеку доказів. Проте, розробники Nova вжили заходів для вирішення цієї проблеми, таких як використання більш потужних криптографічних алгоритмів та більш складних стратегій доказів.
Крім того, реалізація Nova є відносно складною, що може ускладнити використання та обслуговування. Nova використовує багато розвинутих криптографічних технологій, і для ефективного використання та модифікації Nova необхідно глибоко розуміти ці технології.
В цілому, Nova займає важливе місце в галузі zk-SNARKs. Її технологія R1CS з ослабленнями робить генерацію та перевірку доказів більш ефективними, що є критично важливим для масштабних застосувань zk-SNARKs. Nova також підтримує інкрементальні обчислення та поліноміальні обчислення, що подальше розширює сферу застосування zk-SNARKs.
Основний код Nova містить кілька ключових модулів:
bellperson: реалізувати функції, пов'язані з R1CS.
gadgets: включає інструменти для створення zk-SNARKs доказів.
spartan: реалізація функцій, пов'язаних з протоколом Spartan.
traits: визначено деякі загальні traits, такі як Group, CommitmentTrait тощо.
r1cs.rs: визначення структур даних та методів, пов'язаних з R1CS.
nifs.rs: реалізація неінтерактивної схеми згортання.
ipa_pc.rs: реалізація поліноміальних зобов'язань на основі IPA.
Ці модулі спільно реалізують основні функції Nova, включаючи систему обмежень R1CS, полікомітет, генерацію та верифікацію zk-SNARKs тощо. Nova за допомогою комбінації цих модулів реалізувала ефективну систему zk-SNARKs.