Вы все слышали о Zero Knowledge нарративе, но многие из вас не знают, что это такое.
В этой небольшой статье вы узнаете, что такое ZK и как на этом заработать
Статья подготовлена каналом the next levelВ этой статье мы разберем:
Что такое Zero Knowledge Proof
3 критерия, которые должен удовлетворять ZKP
Базовая форма ZKP
Типы Zero Knowledge Proof
Лучшие ZK монеты
ZKP — это способ проверки подлинности, чтобы доказать, что что-то известно, без прямого раскрытия известной информации.
ZKP должен соответствовать трем критериям ниже:
Нулевое знание
Прочность
Полнота
Прежде чем углубляться, давайте разберемся с основами ZKP.
В ZKP есть две стороны:
Доказывающий — это тот, у кого есть код, и он хочет доказать.
Верификатор — это тот, кто хочет удостовериться, что у него действительно есть код.
Используем аналогию: В ZKP есть закрытый кодовый замок, Доказывающий может доказать Верификатору, что он владеет правильным паролем, разблокировав его, не раскрывая пароль. Этот метод гарантирует, что никакая информация о пароле не будет передаваться между двумя сторонами.
Тем не менее, Доказывающий мог угадать пароль по счастливой случайности, поэтому ему нужно несколько раз подтвердить его Верификатору. Это повторение гарантирует, что доказывающий практически не сможет угадать пароль случайно, следовательно, будет выполнено нулевое знание (Zero Knowledge)
Проще говоря, ZKP — это процесс доказательства, оспаривания и повторения.
Помимо нулевых знаний, ZKP должен удовлетворять еще 2 критериям.
Первый критерий – надежность. Если утверждение ложно, Доказывающий не может убедить честного Проверяющего в том, что оно на самом деле верно. Децентрализация и надежность — это то, к чему стремится этот критерий.
Второй — полнота. Если утверждение верно, Верификатор должен убедиться, что честный Доказывающий говорит правду. Как только все 3 критерия соблюдены, основа ZKP устанавливается.
Типы Zero Knowledge Proof
Есть 2 основных типа доказательств с нулевым разглашением, которые вы должны знать:
Интерактивные доказательства с нулевым разглашением
Неинтерактивные доказательства с нулевым разглашением
Интерактивные доказательства с нулевым разглашением
Этот тип доказательства требует непрерывной связи между Доказывающим и Верификатором до тех пор, пока Доказывающий не сможет предоставить удовлетворительные ответы на проблемы, поставленные Верификатором.
Неинтерактивные доказательства с нулевым разглашением (NIZKP)
Напротив, NIZKP не требует взаимодействия между доказывающим и проверяющим. Вместо этого Доказывающий посылает только одно сообщение Верификатору, которого уже достаточно для того, чтобы Верификатор определил достоверность утверждения.
Поскольку в неинтерактивных доказательствах с нулевым разглашением отправляется только одно сообщение, этот метод требует более высокой вычислительной мощности по сравнению с интерактивными доказательствами с нулевым разглашением. NIZKP приобрел популярность благодаря своему удобству и в последние годы используется в ZK-SNARK.
ZK проекты
Существует 3 основных типа ZKP приложений:
Приложения, направленные на масштабирование блокчейна (ZK-роллапы)
Децентрализованная идентификация
Протоколы конфиденциальности
Вот список самых крупных проектов, использующих технологию Zero Knowledge
Мы советуем обратить вам внимание на:
Polygon - $MATIC
Immutable - $IMX
Mina Protocol - $MINA
Loopring - $LRC
Мы активно торгуем эти монеты в нашем чате
Также, сейчас проходят тестнеты у двух многообещающих ZK проектов — Scroll и zkSync
Последний недавно запустил свой Era Mainnet, что может говорить о приближающемся аирдропе. Scroll пока что находится в тестнете, но будет не лишним протестировать протокол в надежде на ретродроп.