Що таке докази з нульовим знанням?

Докази з нульовим знанням допомагають гарантувати, що Політика конфіденційності транзакцій не відбувається за рахунок довіри. Читайте далі, щоб Навчання , що таке докази з нульовим знанням, як вони працюють і навіщо вони нам потрібні в Web3.

Це контент партнера, отриманий з Laura Shin Unchained і опублікований CoinDesk.

Що таке докази з нульовим знанням?

Докази з нульовим знанням (ZKPs) — це протоколи, які допомагають підтвердити дійсність тверджень у блокчейнах, не пропонуючи інформацію, яка може поставити під загрозу Політика конфіденційності. Вони дозволяють користувачам перевірити дійсність транзакції, не розкриваючи подробиць транзакції.

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

У руках зловмисників особиста інформація (PII) може становити певні ризики, такі як крадіжка особистих даних, репутаційна шкода та дискримінація. Підтвердження з нульовим знанням гарантують, що ваша ідентифікаційна інформація залишається захищеною.

Розглянемо сценарій, коли вам потрібно підтвердити свою особу, щоб завершити транзакцію. Вам потрібно буде надати такі докази, як посвідчення водія та інші ідентифікаційні дані.

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

За допомогою доказів з нульовим знанням ви можете уникнути розголошення цієї інформації та доводити її достовірність.

Як працюють докази з нульовим знанням?

Докази з нульовим знанням використовують алгоритми, які обробляють вхідні дані та підтверджують їх правдивість. Такі проекти, як StarkNet на Ethereum, Polygon Zero, Zk Sync тощо, наразі використовують ці протоколи у своїх функціях.

Щоб докази з нульовим знанням працювали ефективно, вони мають задовольняти трьом критеріям:

• Нульові знання: Верифікатор не може отримати доступ до вихідного введення. Єдина доступна їм інформація – це дійсність заяви.
• Обґрунтованість: протокол не може перевірити недійсне введення як істинне. Протокол повинен мати гарантії, щоб гарантувати, що перевіряючий не має можливості маніпулювати верифікатором, щоб він вважав його твердження істинним.
• Повнота: якщо введення дійсне, протокол завжди перевіряє оператор. Протокол приймає докази, якщо обидві сторони діють чесно і інформація, що лежить в основі, правдива.

Базовий доказ нульового знання складається з трьох елементів.

• По-перше, ми маємо свідок, яка є Secret інформацією. Пристрій перевірки надає запитання, які знає лише сторона, яка знайома з інформацією.
• Другим елементом є виклик, де верифікатор вибирає запитання з набору, на яке має відповісти перевіряючий.
• Третій і останній елемент - це відповідь, де доказує відповідає на запитання. Відповіддю верифікатор підтверджує, що перевіряльник може отримати доступ до свідка. Потім верифікатор переходить до вибору додаткових питань із набору. Численні запитання обмежують можливість перевіряючого підробити знання інформації.

Типи доказів із нульовим знанням

Існує два типи доказів із нульовим знанням: інтерактивні та неінтерактивні.

• Інтерактивні докази з нульовим знанням дозволити зворотне спілкування між двома сторонами. Зв’язок дозволяє перевірити дійсність висловлювань на задоволення верифікатора.
• Неінтерактивні докази з нульовим знанням: Тут дві сторони беруть участь лише в ONE раунді спілкування. Пристрій перевірки ділиться інформацією з алгоритмом, який обчислює доказ нульового знання. Верифікатор отримує доказ і використовує інший алгоритм для підтвердження знань перевіряючого.

Враховуючи зручність неінтерактивних ЗКП, багато доступних на даний момент протоколів підпадають під категорію неінтерактивних ЗКП. Давайте розглянемо деякі з них.

• ZK-SNARKs: Відомий повністю як стислий неінтерактивний аргумент знань із нульовим знанням, їхній невеликий розмір полегшує процес перевірки. Ці протоколи використовують еліптичні криві для створення криптографічного доказу, процес, який вважається GAS .
• ZK-STARKs: Вони відомі як масштабований прозорий аргумент з нульовим знанням. Вони швидкі завдяки мінімальній взаємодії між двома сторонами.
• Куленепробивні: Вони не вимагають надійного налаштування. Короткі неінтерактивні докази з нульовим знанням дозволяють здійснювати приватні транзакції Криптовалюта .
• ПЛОНК: Вони відомі як перестановки над базами Лагранжа для Вселенських неінтерактивних аргументів Знання. PLONK дозволяють залучати велику кількість учасників за допомогою універсальної надійної установки.

Навіщо нам потрібні докази з нульовим знанням?

Різні випадки використання пояснюють, чому нам потрібні докази з нульовим знанням. Давайте розглянемо деякі з найважливіших.

• Безпека та Політика конфіденційності: Псевдонімність Web3 не гарантує повної Політика конфіденційності , оскільки історія транзакцій доступна в загальнодоступних блокчейнах. За допомогою ЗКП перевірка інформації можлива без розкриття ідентифікаційної інформації, таким чином зберігаючи анонімність.
• Підтвердження особи: Підтвердження особи не обов’язково передбачає надання конфіденційної інформації. ЗКП пропонують можливість приватно та безпечно провести процес перевірки особи.
• Масштабованість: За допомогою ZKP блокчейн-мережі можуть перевіряти транзакції, не розкриваючи базових даних. Ефективність мережі покращується, оскільки інформація, що зберігається в блокчейні, значно зменшується.
• Відповідність: Організації можуть дотримуватися нормативних вимог щодо відмивання грошей, KYC та інших відповідних законів. ЗКП дозволяють організаціям виконувати вимоги, не зберігаючи особисту інформацію користувачів у централізованих базах даних.

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