OKLink: Сделайте ваши транзакции эффективными и безопасными? Неотделимо от технологии «доказательства с нулевым разглашением»

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

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

1. Что такое доказательство с нулевым разглашением?

В 1985 году С.Гольдвассер, С.Микали и К.Ракофф из Массачусетского технологического института впервые предложили доказательство с нулевым разглашением в исследовательской статье «Сложность знаний интерактивных систем доказательства». Это протокол проверки, позволяющий доказывающему доказать правильность своих знаний без раскрытия какой-либо достоверной информации.

Для облегчения понимания приведем пример:

У Малыша О есть ящик с паролем, и он хочет убедить Малыша К, что он знает пароль, не сообщая ему настоящий пароль. Как это сделать?

Маленький О придумал способ: он попросил маленького К написать записку, содержание которой знал только он сам на свете, а затем маленький К положил ее в открытую коробку и запер. Затем Маленький О забрал коробку и использовал пароль, чтобы вытащить записку, которую Маленький К. положил в коробку, и на следующий день отдал записку Маленькому К. В ходе этого процесса Маленький К. не узнал никакой информации (пароля от ящика), которую он не знал раньше, но ему все равно приходилось верить, что Маленький О знает пароль. Этот процесс проверки является доказательством с нулевым разглашением.

**Проще говоря, доказательство с нулевым разглашением заключается в установлении доверия между двумя сторонами при минимальном объеме обмена информацией. Не раскрывая дополнительной информации, A может доказать B, что что-то/определенный вывод верен. **

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

Интерактивное доказательство с нулевым разглашением означает, что для того, чтобы что-то доказать, доказывающему необходимо неоднократно взаимодействовать с проверяющим, подобно детектору лжи: проверяющий постоянно задает вопросы, чтобы оспорить подлинность обязательств доказывающего, а доказывающему необходимо постоянно отвечать. к этим проблемам, пока валидаторы не будут убеждены. Его ход следующий:

Все ранние доказательства с нулевым разглашением были интерактивными. Этот метод прост, но процесс длительный и неэффективный: обе стороны должны пройти онлайн-проверку одновременно, и одновременно можно доверять только одному верификатору. Если нужно доверять нескольким людям, описанный выше процесс необходимо повторить. . Об этом процессе утомительно думать.

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

2. Какая польза от доказательства с нулевым разглашением в мире блокчейна?

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

(1) Конфиденциальность

Одним из важных результатов применения доказательства с нулевым разглашением является запущенный в 2015 году проект Zcash, который может реализовывать частные транзакции. Помимо анонимных монет, таких как 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 децентрализованных приложений и сервисов, охватывающих различные категории, такие как DeFi, NFT, кошельки и межсетевые мосты. Развитие StarkNet как одного из проектов с самой высокой оценкой и наибольшей долей рынка в сегменте ZK Rollup привлекло большое внимание. Многоцепочный браузер OKLink также запустит браузер StarkNet в ближайшем будущем, предоставляя более полную и богатую информацию о данных и услугах в цепочке для всех пользователей, которые обращают внимание и участвуют в экологии StarkNet и построении уровня 2.

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