В рамках недавней важной вехи в экосистеме Биткойн компания Zulu объявила о внедрении первой проверки zk-SNARK (ZKP) с использованием сценария Биткойн. Опишите основной алгоритм Groth16/FFlonk и отправьте код в репозиторий BitVM.

Реализован биткойн-скрипт для ZKP, что означает, что сеть биткойн может проверять уровень 2. Это настоящий уровень 2, который унаследует безопасность сети Биткойн и безопасность механизма Биткойн POW. Это должна быть самая безопасная сеть в блокчейне.

Внедрение ZKP особенно сложно из-за программных ограничений сети Биткойн. Большинство существующих биткойнских L2 на самом деле не являются L2 в истинном смысле этого слова, поскольку их статус в цепочке не может быть напрямую проверен в сети Биткойн. Сейчас они создают доказательство zk и публикуют его в сети Биткойн. Однако это доказательство подтверждается не сетью Биткойн, а ролью их собственной сети, в результате чего внутрисетевой статус l2 отделяется от сети Биткойн.

Это явно отличается от уровня 2 Эфириума. Будь то zk-rollup или op-rollup, данные будут упакованы и отправлены в основную сеть Ethereum для проверки. Самым большим преимуществом второго уровня Ethereum по сравнению с другими публичными цепями является то, что Ethereum обеспечивает безопасность второго уровня.

Самым большим преимуществом перехода на второй уровень с проверкой сети Биткойн является наследование безопасности сети Биткойн. Безопасность сети Биткойн явно выше, чем у Эфириума. Теперь есть два способа по-настоящему унаследовать его безопасность. Один из них представлен компанией babylon, которая закладывает собственные BTC, формирует POS-сеть для управления и наказывает виновных. Когда стоимость заложенных BTC относительно велика, цена совершения зла очень высока, что обеспечивает безопасность. Однако предпосылка этого метода заключается в том, что сначала вносится в залог большое количество BTC.

Второй — использовать собственную сеть POW Биткойна. Будучи первой сетью с самой высокой рыночной стоимостью, BTC безопасно работает уже 14 лет и обладает самой высокой вычислительной мощностью во всей сети. Ее коэффициент безопасности очевиден. Таким образом, важной частью наследования безопасности сети Биткойн является то, что Биткойн может пройти проверку. В этом и заключается важность Zulu и ZKP на этот раз. В последний раз, когда я обращал внимание на сеть Zulu, это была ее первая двухуровневая архитектура биткойнов. Эта проверка zk-SNARK (ZKP) позволила мне осознать, что техническая мощь Zulu очень велика.

Важность zk-SNARK

SNARK (краткий неинтерактивный аргумент знаний) — это краткий неинтерактивный аргумент знаний. Его суть заключается в построении системы доказательств с помощью математических алгоритмов, позволяющих проверяющему проверять правильность самих данных, не зная исходных данных. Мы знаем, что на уровне 2 Ethereum теперь есть zk-rollup и op-rollup. Хотя op-rollup считается лишь промежуточным переходным периодом, zk-rollup — это окончательная форма. Потому что zk-rollup использует алгоритм zk для упаковки транзакций в пакеты и создания сертификатов SNARKs для отправки в основную сеть, а основная сеть проверяет все транзакции в пакете. zk-SNARK может эффективно защищать конфиденциальность и обладает хорошей масштабируемостью. Бутерин называет это главным приоритетом на ближайшие 10 лет.

BitVM

Здесь необходимо представить BitVM. До BitVM язык программирования сценариев Биткойна не считался полным по Тьюрингу. Несмотря на усилия большого количества людей, решить эту проблему невозможно. До октября прошлого года, когда Робин Линус выпустил сенсационную BitVM, подход Робина заключался в проверке особого типа логического элемента в биткойн-скрипте, называемого вентилем NAND («вентиль NAND»), который является основным принципом вычислений, расположенным по адресу. физический/электрический уровень. Все возможные вычисления могут быть построены с помощью вентилей И-НЕ.

Недавно Робин предложил проектный план BitVM 2. Вместо прямого использования скриптовых вентилей NAND они используются для использования общего верификатора доказательства с нулевым разглашением SNARK.

Значение BitVM заключается в том, что его можно проверить с помощью сети Биткойн без обновления, разветвления или создания какой-либо дополнительной нагрузки на Биткойн. Уровень 2 выполняет другие ответственные вычисления и наследует безопасность основной сети. Из-за огромного значения BitVM многие Layer2 построены на основе BitVM. Например, Bitlayer использует BitVM в качестве основного компонента и применяет технологию многоуровневых виртуальных машин (Layered Virtual Machine) в качестве решения второго уровня.

В сети Zulu BitVM также занимает очень важное место. Zulu также вносит очень важный вклад в BitVM. Можно сказать, что использование биткойн-скриптов для реализации проверки zk-SNARK является ключевым шагом для BitVM. Zulu внес большой вклад в официальный репозиторий кода BitVM 2 на GitHub и получил высокую оценку Робина Луи, изобретателя BitVM.

На прошлой неделе Zulu завершил нарезку сценария Groth16. При двух общедоступных входах в общей сложности разделен 1701 индекс, размер менее 4 МБ, а глубина стека составляет <1000. Завершение сегментации скриптов ZKP представляет собой еще одну веху на пути BitVM к коммерческому использованию. Благодаря отличной работе Zulu, BitVM2 вскоре сможет реализовать первое доказательство SNARK на Биткойне. Это также показывает, что технологии Zulu также занимают лидирующие позиции.

Примечание к изображению: технологический прогресс Zulu был высоко оценен изобретателем BitVM Робином Луисом.

Наконец, краткое введение в Zulu Network.

Zulu Network — это первая двухуровневая сеть в экосистеме Биткойн, а ее уровень 2 — это ZuluPrime, совместимый с EVM. Проекты EVM могут быть реализованы быстро и с низкими затратами для достижения экологического процветания. Другой уровень — Layer3, называется ZuluNexus. Он инновационным образом объединяет UTXO и типы активов счетов, а также реализует инновации в области смарт-контрактов на основе модели UTXO. Это означает, что он может максимизировать преимущества UTXO и поддерживать будущие инновации в UTXO. Zulu разрабатывает два продукта:

  • Мост Zulu, который может проверять статус вне сети через ZKP для поддержки выпуска активов.

  • Первый децентрализованный мост ZK, предоставляющий пользователям возможность осуществлять межсетевые операции любого объема.

Zulu еще не выпустил монеты. Те, кто хочет принять участие раньше, могут принять участие в текущем мероприятии Zulu по очкам тестовой сети. Подробности смотрите в официальной документации https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#.