Сеть GOAT запустила тестовую сеть на основе технологии BitVM2, в которой есть одно реализованное решение, заслуживающее внимания: ZK Rollup для биткойнов с реальным временем доказательства. Это обеспечивает быстрое доказательство ZK Rollup, что является важным развитием для инфраструктуры BTC L2. С точки зрения пользовательского опыта, время вывода будет значительно улучшено по сравнению с предыдущими версиями, что поможет привлечь больше разработчиков и пользователей. Итак, как это можно просто понять с технической точки зрения? Сначала давайте посмотрим на процесс реализации биткойна L2 в сети GOAT. Сеть GOAT является решением на основе биткойна L2, использующим технологии BitVM2 и zkMIPS, поддерживающим получение нативного BTC (то есть участники имеют возможность зарабатывать больше BTC). Процесс в основном включает в себя входной мост (Bridge in), выходной мост (Bridge out), обязательство последовательности (Sequencer Set Commitment) и обработку возмещения (Reimbursement) и т.д. Входной мост в основном заключается в том, чтобы заложить BTC в скрипт taproot (без контроля со стороны частного ключа), а ретранслятор отправляет его в контракт Goat. Комитет строит поток транзакций BitVM2, оператор предварительно подписывает и хранит в IPFS, после проверки пользователем ретранслятор выпускает PegBTC на L2; выходной мост — это вывод, пользователи проводят атомные сделки с операторами (пользователь также может быть оператором, если он не хочет, он может завершить вывод через оператора), уничтожая PegBTC на L2, оператор запускает обработку возмещения, не требуя проведения Peg-OUT транзакции на основной цепи BTC. Обязательство последовательности в основном означает, что комитет регулярно использует дерево Меркла для обязательства будущего набора последовательностей, поддерживая механизм проверки легкого клиента биткойна. Проверка с помощью механизма легкого клиента использует набор валидаторов, обязательствованных на BTC, в качестве общественного ввода для последующей проверки нулевых знаний, чтобы обеспечить проверку консенсуса блоков L2. Обработка возмещения заключается в том, что оператор закладывает BTC и отправляет идентификатор транзакции вывода и последний хэш блока. Оспариватель проводит верификацию вне цепи и на цепи, если оспаривания нет, оператор получает средства. Оспариватель также может выдвинуть оспаривание, после чего случайным образом выбирается валидатор, который может выполнять интерактивную проверку с помощью скрипта биткойна. Период оспаривания сокращен до примерно 1 дня (около 144 блоков btc), что сокращает время, необходимое для окончательности. Кроме того, используется децентрализованный последователь, оператор закладывает BTC для участия, экономическая модель L2 включает в себя газовые сборы и т.д., что генерирует нативный BTC доход. Теперь давайте подробнее рассмотрим ZK Rollup с реальным временем доказательства, начнем с его технологии Rollup. Сеть GOAT будет упаковывать несколько L2 транзакций в пакеты (Batch), выполняя их вне цепи и генерируя ZK доказательство, которое будет проверяться через основную цепь биткойна (например, верификация на этапе Assert/Disprove BitVM2 и т.д.), преимущество ZK доказательства заключается в том, что нет необходимости загружать все детали транзакции; кроме того, в отличие от zksync или Starknet на Ethereum, Goat использует нативные механизмы, такие как скрипты Taproot биткойна, для закрепления обновлений состояния, избегая зависимости от внешних мостов или многоподписных механизмов. Итак, после того как мы немного поняли технологию Zk Rollup, давайте посмотрим на механизм реального времени доказательства. Согласно документации сети GOAT, генерация его реального времени доказательства использует движок zkMIPS, реализуя быструю генерацию доказательства через архитектуру параллельного доказательства в конвейере + распределенную сеть доказателей GPU. Сначала генерируется доказательство блока, используя технологии шардирования и параллельного доказательства, чтобы проверить, правильно ли выполнены переходы состояния Rollup; затем агрегируется доказательство, рекурсивно сжимая доказательства нескольких блоков; наконец, это SNARK доказательство (Groth16), сжимающееся в небольшое объемное доказательство, которое можно проверить на BitVM2. Чтобы реализовать реальное время доказательства, вышеупомянутая генерация доказательства не обрабатывается последовательно, а использует механизм параллельной обработки в конвейере, в основном полагаясь на технологию zkVM «Ziren» от ZKM, а также на ускорение GPU и распределенную сеть доказателей. Согласно данным с официального сайта их тестовой сети, среднее время генерации доказательства блока составляет около 2,6 секунд, агрегированного доказательства — около 2,7 секунд, SNARK доказательства — около 10,38 секунд. Пользователи могут в реальном времени просматривать полный процесс генерации ZK доказательства для каждого вывода через интерфейс. Если ZK доказательство может быть завершено менее чем за 1 минуту, это означает, что скорость вывода для пользователей значительно увеличится. Ранее некоторые сети биткойна L2 требовали ожидания несколько часов для инициирования вывода, с быстрым доказательством пользователи могут инициировать вывод сразу после генерации доказательства, то есть, менее чем за 1 минуту пользователи могут инициировать вывод. Конечно, окончательное время поступления средств зависит от состояния транзакций в основной сети биткойна. Но в отношении вывода уже не нужно ждать, то есть, его вывод практически близок к времени инициирования транзакции на цепи биткойна. Кроме вывода, реальное время доказательства также будет способствовать разработчикам в создании высокочастотных приложений L2, а также совместимо с EVM, что может привлечь разработчиков из экосистемы Ethereum; для операторов не нужно ждать массового выпуска доказательств, что также повышает эффективность использования средств. Технология ZK относительно сложна, и долгосрочная безопасность также требует определенного времени для доказательства. Тем не менее, внедрение реального времени доказательства является важным шагом вперед для инфраструктуры биткойна L2. Конечно, в настоящее время биткойн L2 еще предстоит пройти долгий путь, помимо создания технической инфраструктуры, также необходимо больше усилий для выявления потребностей пользователей и стимулирования разработчиков к созданию приложений биткойна L2, потому что в конечном итоге, когда экосистема биткойна L2 разовьется, будет достаточно транзакционных сборов для реализации роста маховика. Одной из относительно четких потребностей является то, что многие держатели BTC также хотят получать доход, что можно увидеть по количеству BTC на цепи Ethereum (например, wbtc и т.д.), которое в настоящее время превышает 150 000 BTC, стоимость которых превышает 15 миллиардов долларов. Если можно будет реализовать безопасность на основе нативной цепи btc, то больше держателей BTC будут готовы попробовать получить доход через BTCFI.