Nova є новою системою zk-SNARKs, яка використовує розслаблену систему обмежень першого порядку (Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Переваги Nova
Використання розслабленої техніки R1CS дозволяє використовувати менше випадковості в доказах, що значно підвищує ефективність доказів.
Підтримка інкрементальних обчислень, можна поетапно обчислювати складні функції, не потрібно обчислювати всю функцію відразу.
Підтримка поліноміальних обчислень, що дозволяє обробляти складніші завдання доведення.
Недоліки Nova
Докази можуть бути не такими потужними, як традиційні системи R1CS, оскільки використовують менше випадковості.
Реалізація відносно складна, що ускладнює використання та обслуговування.
Структури, пов'язані з R1CS: визначають публічні параметри, форму, свідка та екземпляри R1CS.
Поліноміальні обчислення: реалізовано рівняння поліномів, багатолінійні поліноми та розріджені поліноми тощо.
Алгоритм Sumcheck: використовується для перевірки суми多项式.
Механізм зобов'язань: визначає основні операції та дії зобов'язань.
Оцінювальний двигун: реалізовано налаштування, доказ та перевірку поліноміальної оцінки.
zk-SNARKs: визначає поведінку нульових знань, компактних, неінтерактивних доказів.
Nova через ці ці складові побудувала ефективну та гнучку систему zk-SNARKs, що відкриває нові можливості для розвитку криптографії та технологій блокчейн.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
18 лайків
Нагородити
18
7
Поділіться
Прокоментувати
0/400
GasFeeSobber
· 07-18 14:50
Знову доведеться витратити чимало газу на тестування
Переглянути оригіналвідповісти на0
LiquidityWizard
· 07-17 21:39
Ще одна zk-іграшка... У цьому колі справді вміють грати з концепціями.
Переглянути оригіналвідповісти на0
MaticHoleFiller
· 07-17 21:06
Ще одна система zk. Яка її користь? Не пояснили.
Переглянути оригіналвідповісти на0
ColdWalletGuardian
· 07-15 22:10
Ця пастка насправді працює чи ні? Я трохи переживаю.
Переглянути оригіналвідповісти на0
FarmHopper
· 07-15 22:09
Це все? Технічна складність занадто висока, чи не так?
Переглянути оригіналвідповісти на0
TideReceder
· 07-15 22:07
А це кожен день один проект ZKP, голова вже болить.
Переглянути оригіналвідповісти на0
RektRecorder
· 07-15 22:07
Це знову підвищує складність на рівні конфіденційності, чи не так?
Nova: ефективна та гнучка нова система zk-SNARKs
Nova: нова система zk-SNARKs
Nova є новою системою zk-SNARKs, яка використовує розслаблену систему обмежень першого порядку (Relaxed R1CS) для підвищення ефективності та гнучкості доказів.
Переваги Nova
Використання розслабленої техніки R1CS дозволяє використовувати менше випадковості в доказах, що значно підвищує ефективність доказів.
Підтримка інкрементальних обчислень, можна поетапно обчислювати складні функції, не потрібно обчислювати всю функцію відразу.
Підтримка поліноміальних обчислень, що дозволяє обробляти складніші завдання доведення.
Недоліки Nova
Докази можуть бути не такими потужними, як традиційні системи R1CS, оскільки використовують менше випадковості.
Реалізація відносно складна, що ускладнює використання та обслуговування.
Важливе місце Nova в галузі zk-SNARKs
Відкрив нові шляхи для розвитку zk-SNARKs.
Підвищено ефективність масштабних zk-SNARKs застосувань.
Розширено застосування zk-SNARKs.
Основні компоненти Nova
Структури, пов'язані з R1CS: визначають публічні параметри, форму, свідка та екземпляри R1CS.
Поліноміальні обчислення: реалізовано рівняння поліномів, багатолінійні поліноми та розріджені поліноми тощо.
Алгоритм Sumcheck: використовується для перевірки суми多项式.
Механізм зобов'язань: визначає основні операції та дії зобов'язань.
Оцінювальний двигун: реалізовано налаштування, доказ та перевірку поліноміальної оцінки.
zk-SNARKs: визначає поведінку нульових знань, компактних, неінтерактивних доказів.
Nova через ці ці складові побудувала ефективну та гнучку систему zk-SNARKs, що відкриває нові можливості для розвитку криптографії та технологій блокчейн.