BTC L2 трек встречает новых игроков, ZKM присоединяется к конкуренции с технологией zkVM

С ростом интереса ZKM к области биткойн L2 этот сегмент становится все более переполненным, а его окончательная структура все еще требует дальнейшей эволюции технологий и рынка.

Основная технология ZKM — это zkVM, и его долгосрочная цель заключается в том, чтобы эта технология была принята большим количеством проектов и экосистем, тем самым став базовой инфраструктурой. Эта технология обещает соединить активы различных экосистем, таких как Ethereum, BTC и Cosmos, чтобы создать лучшую ликвидность. Это также объясняет, почему ZKM выбрала вход в сегмент BTC L2.

Технические решения ZKM сосредоточены на двух аспектах: "Entangled Rollup архитектура" и "zkVM". Эти две технологии нацелены на решение двух основных проблем на рынке: как обеспечить безопасность активов и как достичь устойчивости сети.

Учитывая высокий интерес рынка к безопасности кросс-чейнов, ZKM представила механизм "Entangled Rollup Network (纠缠汇总网络)". Этот механизм синхронизирует состояния между различными блокчейнами с помощью рекурсивной технологии доказательства с нулевым разглашением, избегая потенциальных рисков, присущих традиционным мостовым механизмам при кросс-чейновом перемещении активов. Эта структура была ранее реализована на Ethereum, а именно в механизме Optimistic Rollup определенной платформы. В настоящее время ZKM пытается применить эту идею к биткойну L2 и соответственно скорректировать ее в соответствии с характеристиками BTC L1.

Учитывая, что биткойн не поддерживает смарт-контракты, реализация L2 сталкивается с большими вызовами. ZKM планирует через Entangled Rollup агрегировать состояние в своей сети, а затем передавать проверенное состояние другим экосистемам. В отношении безопасности активов BTC применяется локально контролируемая модель, такая как использование мультиподписных скриптов для контроля BTC, которая может предотвратить злонамеренные действия, если хотя бы одна честная сторона присутствует. На уровне L2 вводится децентрализованный сортировщик, чтобы децентрализованным образом завершать включение транзакций и окончательное подтверждение, и планируется проверка выполнения пакетов L2 транзакций с помощью скриптов BTC.

ZKM также внедрил механизм OCP (Оптимистичный Процесс Оспаривания), который можно рассматривать как версию BTC для оптимистичного доказательства Ethereum L2. Когда пользователи вносят активы в L2, активы блокируются в предварительно подписанном многофункциональном скрипте, где подписчики обычно являются независимыми третьими сторонами или аудиторами. Скрипт обмена с многофункциональной подписью активируется после установленного периода оспаривания, подписчики заранее отправляют активы пользователям и запускают этап оспаривания. В этот период можно инициировать оспаривание, заплатив входной UTXO, требуя от оператора предоставить промежуточные вычисления для проверки его обязательств. Если проверка не проходит, проверяющий получит все активы по истечении периода оспаривания или передаст активы подписчику. Исполнение отслеживания осуществляется через TapTree, где каждый лист представляет собой промежуточное значение, использующее одноразовые подписные вычисления. Этот метод позволяет скриптам BTC непосредственно выполнять вычисления и завершать верификацию активов в цепочке.

zkVM всегда был одним из важных направлений исследований в области криптографии, zkVM от ZKM является одним из них. В отличие от других подобных технологий, ZKM предоставляет нативную поддержку Golang. Это позволяет разработчикам на Golang использовать стандартный компилятор для компиляции кода в инструкции MIPS, а затем использовать сеть доказательств ZKM для проверки. В будущем ZKM также планирует поддерживать язык Rust.

Помимо внимания к безопасности активов на цепочке BTC, рынок также интересуется устойчивостью самого ZKM L2. Для этого ZKM вводит концепцию децентрализованного сортировщика, которые могут получать вознаграждение в зависимости от вклада. ZKM планирует распределить 40% токенов в качестве вознаграждения для участвующих в майнинге сторон, включая узлы сортировщика, ликвидное стекинг и майнинг в сети доказательства. Это означает, что узлы сортировщика, помимо получения платы за газ от L2 транзакций, также могут получать дополнительный доход от майнинга.

В настоящее время исследования в области BTC L2 продолжаются, включая два направления: родные L2 и совместимые с EVM L2. Родные L2 сосредоточены на развитии внутренней экосистемы и имеют группу преданных сторонников; в то время как совместимые с EVM L2 не только расширяют экосистему BTC, но и предлагают новые направления для интеграции нескольких экосистем.