OKLink: Зробіть свої транзакції ефективними та безпечними? Невіддільна від технології «доказу нульового знання».

Автор оригіналу: Джейсон Цзян

В еволюції технології блокчейн є дві ключові проблеми, яких неможливо уникнути: конфіденційність і розширення. Коли ми шукали «стандартні рішення» для цих двох проблем, ми виявили, що вони невіддільні від технології, тобто: доказ нульового знання. Що таке доказ нульового знання? Як це вирішує проблеми конфіденційності та розширення блокчейна?

1. Що таке доказ нульового знання?

У 1985 році S.Goldwasser, S.Micali і C.Rackoff з Массачусетського технологічного інституту вперше запропонували доказ з нульовим знанням у дослідницькій роботі «Складність знань інтерактивних систем доказів». Це протокол перевірки для довідника, щоб підтвердити правильність своїх знань, не розкриваючи жодної дійсної інформації.

Для полегшення розуміння наведемо приклад:

У Маленького О є скринька з паролем, і він хоче переконати Маленького К, що він знає пароль, не повідомляючи йому справжній пароль. Як це зробити?

Маленький О придумав спосіб: він попросив маленького К написати записку, зміст якої знав лише він у світі, а потім маленький К поклав її у відкриту скриньку та замкнув. Тоді Маленький О забрав коробку і використав пароль, щоб дістати записку, яку Маленький К поклав у коробку, і дав записку Маленькому К наступного дня. Під час цього процесу Маленький К не дізнався жодної інформації (пароль скриньки), яку він не знав раніше, але він все одно мав вірити, що Маленький О знає пароль. Цей процес перевірки є доказом нульового знання.

**Простими словами, доказ нульового знання означає встановлення довіри між двома сторонами за допомогою мінімального обсягу обміну інформацією. Не розкриваючи більше інформації, А може довести Б, що щось/певний висновок правильний. **

Відповідно до режиму взаємодії в процесі перевірки, його можна розділити на дві категорії: «інтерактивний доказ з нульовим знанням» і «неінтерактивний доказ з нульовим знанням».

Інтерактивне підтвердження з нульовим знанням означає, що для того, щоб щось довести, перевіряючому необхідно неодноразово взаємодіяти з верифікатором, як на детекторі брехні: верифікатор постійно ставить запитання, щоб оскаржити автентичність зобов’язань перевіряючого, а той, хто перевіряє, повинен постійно відповідати. на ці виклики, доки валідатори не переконаються. Його потік такий:

Усі ранні докази з нульовим знанням були інтерактивними. Цей метод простий, але процес тривалий і неефективний: обидві сторони повинні завершити онлайн-підтвердження одночасно, і одночасно можна довіряти лише одному верифікатору. Якщо потрібно довіряти кільком людям, описаний вище процес потрібно повторити . Про цей процес втомлює думати.

Таким чином, з'явилися неінтерактивні докази з нульовим знанням. У неінтерактивних доказах з нульовим знанням особа, що перевіряє, і особа, що перевіряє, заздалегідь узгоджують правила перевірки, особа, яка перевіряє, надає дані, як обіцяно, і особа, яка перевіряє, може перевірити правильність даних у будь-який час. У такому вигляді неінтерактивної верифікації обом сторонам не потрібно бути онлайн одночасно, а перевіряльнику потрібно надати доказ лише один раз. **Програми в реальних сценаріях — це в основному неінтерактивні докази з нульовим знанням, такі як ZK-SNARK і ZK-STARK. **

2. Яка користь від доказу нульового знання в світі блокчейну?

Докази з нульовими знаннями в основному використовуються для вирішення двох типів проблем у світі блокчейнів: конфіденційності та масштабованості. **

(1) Конфіденційність

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

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

Під час голосування в ланцюжку підтвердження нульового знання також може дозволити учасникам голосувати анонімно та перевіряти дійсність результатів голосування.

Крім того, підтвердження нульової інформації також може допомогти користувачам досягти підтвердження особи без розкриття конкретної інформації про особу. Polygan ID на Ethereum застосовує схему перевірки з нульовим знанням, яка не тільки допомагає користувачам захистити конфіденційність, але й відповідає нормативним вимогам щодо специфікацій перевірки KYC Користувачі можуть вільно вибирати, коли та які дані ділитися.

(2) Можливість розширення

Блокчейн терміново потребує розширення через обмеження продуктивності, які не можуть задовольнити ринковий попит, і рішення для розширення ZK Rollup, засноване на доказі нульового знання, вважається найкращим рішенням для розширення рівня 2. ZK-Rollups покращує пропускну здатність ланцюга блоків шляхом передачі обчислень поза ланцюгом, тобто для упаковки великої кількості транзакцій у блок Rollup та створення доказу дійсності на основі підтвердження нульового знання в ланцюжку. на Рівні 1 потрібно лише Перевірка доказу дозволяє застосувати новий стан безпосередньо, що призводить до зниження газу та підвищення безпеки.

zkSync на основі технології ZK-SNARKs і StarkNet на основі технології zk-STARKs наразі є найбільш репрезентативними проектами ZK-Rollups.

Серед них zkSync — це рішення для розширення рівня 2, запущене Matter Labs у 2018 році, яке покращує масштабованість мережі Ethereum за допомогою Rollup на основі нульового підтвердження інформації. ** У лютому цього року zkSync оголосив про офіційний запуск основної мережі zkSync Era. Багатоканальний браузер OKLink згодом зайняв лідерство в доступі до даних основної мережі zkSync і став першим багатоканальним браузером, який підтримує мережу zkSync у всій мережі. **

StarkNet — це мережа рівня 2 без дозволів, розроблена ізраїльською компанією з розробки програмного забезпечення StarkWare. Використовуючи технологію zk-STARKs, вона може допомогти DApps досягти більшого масштабу обчислень за менших транзакційних витрат. З моменту запуску основної мережі в листопаді 2021 року екосистема StarkNet стрімко розвивалася. Наразі існує понад 100 Dapps і сервісів, які охоплюють різні категорії, такі як DeFi, NFT, гаманці та міжланцюгові мости. Як один із проектів із найвищою оцінкою та найбільшою часткою ринку в треку ZK Rollup, розвиток StarkNet привернув велику увагу. Багатоланцюговий браузер OKLink від OKLink також найближчим часом запустить браузер StarkNet, забезпечуючи більш повну та багатшу інформацію про дані та послуги для всіх користувачів, які звертають увагу на екологію StarkNet і будівництво рівня 2 і беруть участь у них.

Повідомляється, що браузер StarkNet стане 30-м блокчейн-браузером, запущеним OKLink, і другим браузером ZK Rollup після zksync. У майбутньому багатоланцюговий браузер OKLink також запустить блокчейн-браузери для відомих проектів ZK Rollup, таких як Polygon-zk, Linea, Base та Scoll, на основі доказів нульового знання.