Увидел, что сеть GOAT запустила свою тестовую сеть на основе технологии BitVM2, где есть одно реализованное решение, на которое стоит обратить внимание: доказательство Биткойн ZK Rollup в реальном времени. Реализация быстрой ZK Rollup-доказательства важна для инфраструктуры BTC L2. С точки зрения пользовательского опыта, время извлечения значительно повысится по сравнению с предыдущим, что способствует привлечению большего числа разработчиков и пользователей.
Итак, как это можно просто понять с технической точки зрения?
Для начала давайте рассмотрим процесс внедрения Bitcoin L2 в сети GOAT. Сеть GOAT — это решение на основе Bitcoin L2, которое использует технологии BitVM2 и zkMIPS для поддержки нативной доходности BTC (т. е. у участников есть возможность заработать больше BTC). В основном он включает в себя бридж-вход, бридж-выход, фиксацию набора секвенсора и повторное наложение. Мост в основном заключается в стейкинге BTC на скрипт taproot (приватный ключ никто не контролирует), а ретранслятор отправляет его в контракт Goat. Комитет выстраивает поток транзакций BitVM2, оператор предварительно подписывает и IPFS существует, а после проверки пользователем ретранслятор выпускает PegBTC на уровне L2; Bridge out — это вывод средств, пользователь и оператор осуществляют атомарные транзакции (сами пользователи также могут быть операторами, если они не хотят, они могут завершить вывод через оператора), уничтожают PegBTC на L2, и оператор инициирует обработку возмещения, без необходимости транзакций Peg-OUT в основной цепочке BTC. Обязательство по секвенсору в основном относится к регулярному использованию комитетом дерева Меркла для принятия обязательств по будущим наборам секвенсоров для поддержки верификации механизма легкого клиента Биткойна. С помощью легкого клиентского механизма проверки набор валидаторов, зафиксированных на BTC, используется в качестве общедоступных входных данных для последующей проверки доказательства с нулевым разглашением, которая используется для реализации проверки консенсуса блока L2. Процесс возмещения — это идентификатор транзакции оператора, который делает стейкинг BTC и отправляет вывод средств, а также хэш последнего блока. Претенденты проходят оффчейн и ончейн-верификацию, и если проблем нет, оператор получает средства. Претенденты также могут отправлять вызовы, и после того, как вызов происходит, генерируется случайный валидатор, который может выполнить интерактивную проверку с помощью Bitcoin Script. Период челленджа сокращается примерно до 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.
Для достижения реального времени доказательства, вышеупомянутое создание доказательства не обрабатывается в однострочном режиме, а использует механизмы параллельной обработки с конвейерной (Pipelined) архитектурой, в основном полагаясь на технологию zkVM «Ziren» от ZKM, а также на ускорение с помощью GPU и распределенную сеть доказателей. Согласно текущим данным с официального сайта тестовой сети, доказательство блока занимает в среднем около 2,6 секунд, агрегированное доказательство — в среднем 2,7 секунд, а SNARK-доказательство — около 10,38 секунд. Пользователи могут в режиме реального времени просматривать полный процесс генерации ZK-доказательства для каждой транзакции на фронтальном интерфейсе.
Если ZK-доказательство может быть завершено менее чем за 1 минуту, это означает, что скорость вывода средств для пользователей значительно увеличится. Ранее некоторые выводы из сети Биткойн L2 требовали ожидания нескольких часов, чтобы инициировать вывод, но с быстрым доказательством пользователи могут инициировать вывод сразу после его генерации, то есть, примерно за 1 минуту пользователи могут инициировать вывод. Конечно, окончательное время зачисления средств зависит от состояния транзакций в основной сети Биткойн. Но в отношении вывода средств больше не нужно ожидать, то есть, его вывод в основном близок к времени опыта инициирования транзакции в сети Биткойн.
Кроме вывода средств, реализация доказательства в реальном времени также будет способствовать разработчикам создавать высокочастотные L2 приложения, а совместимость с EVM может привлечь разработчиков из экосистемы Эфириума; для операторов не нужно ждать массового вывода сертификатов, что также повысит эффективность использования средств. Технология ZK относительно сложна, а долгосрочная безопасность требует определенного времени для подтверждения. Тем не менее, реализация доказательства в реальном времени является важным шагом вперед для инфраструктуры технологии Bitcoin L2. Конечно, на данный момент у Bitcoin L2 еще долгий путь, помимо создания технической инфраструктуры, необходимо также приложить больше усилий для изучения потребностей пользователей и содействия разработчикам в создании приложений Bitcoin L2, потому что в конечном итоге, когда экосистема Bitcoin L2 разовьется, будет достаточно торговых сборов для достижения роста маховика. Одной из относительно ясных потребностей является то, что многие держатели BTC также хотят получать прибыль, что видно по количеству BTC на цепочке Эфириума (таких как wbtc и другие), которое в настоящее время превышает 150000 BTC, стоимость которых составляет более 15 миллиардов долларов. Если удастся реализовать безопасность, основанную на оригинальной цепочке BTC, то больше держателей BTC будут готовы попробовать получить прибыль через BTCFI.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
2 Лайков
Награда
2
3
Поделиться
комментарий
0/400
TruongGia
· 7ч назад
Купить, чтобы делать деньги 💎
Посмотреть ОригиналОтветить0
TruongGia
· 7ч назад
HODL чётко 💪
Посмотреть ОригиналОтветить0
IELTS
· 9ч назад
Мы видим, что сеть GOAT запустила свою тестовую сеть на основе технологии BitVM2, в которой есть одно достижение, заслуживающее внимания: доказательство в реальном времени для Биткойн ZK Rollup. Это позволяет быстро создавать ZK Rollup доказательства, что является важным развитием для инфраструктуры BTC L2. С точки зрения пользовательского опыта, время извлечения значительно улучшится по сравнению с предыдущими версиями, что способствует привлечению большего числа разработчиков и пользователей. Итак, как это можно просто понять с технической точки зрения? Сначала давайте рассмотрим процесс реализации Биткойн L2 в сети GOAT. Сеть GOAT является решением на основе Биткойн L2, использующим технологии BitVM2 и zkMIPS, поддерживающим получение нативного BTC дохода (то есть у участников есть возможность заработать больше.
GOAT запустил тестовую сеть ZK Rollup в реальном времени: новые возможности для дохода в BTC?
Увидел, что сеть GOAT запустила свою тестовую сеть на основе технологии BitVM2, где есть одно реализованное решение, на которое стоит обратить внимание: доказательство Биткойн ZK Rollup в реальном времени. Реализация быстрой ZK Rollup-доказательства важна для инфраструктуры BTC L2. С точки зрения пользовательского опыта, время извлечения значительно повысится по сравнению с предыдущим, что способствует привлечению большего числа разработчиков и пользователей.
Итак, как это можно просто понять с технической точки зрения?
Для начала давайте рассмотрим процесс внедрения Bitcoin L2 в сети GOAT. Сеть GOAT — это решение на основе Bitcoin L2, которое использует технологии BitVM2 и zkMIPS для поддержки нативной доходности BTC (т. е. у участников есть возможность заработать больше BTC). В основном он включает в себя бридж-вход, бридж-выход, фиксацию набора секвенсора и повторное наложение. Мост в основном заключается в стейкинге BTC на скрипт taproot (приватный ключ никто не контролирует), а ретранслятор отправляет его в контракт Goat. Комитет выстраивает поток транзакций BitVM2, оператор предварительно подписывает и IPFS существует, а после проверки пользователем ретранслятор выпускает PegBTC на уровне L2; Bridge out — это вывод средств, пользователь и оператор осуществляют атомарные транзакции (сами пользователи также могут быть операторами, если они не хотят, они могут завершить вывод через оператора), уничтожают PegBTC на L2, и оператор инициирует обработку возмещения, без необходимости транзакций Peg-OUT в основной цепочке BTC. Обязательство по секвенсору в основном относится к регулярному использованию комитетом дерева Меркла для принятия обязательств по будущим наборам секвенсоров для поддержки верификации механизма легкого клиента Биткойна. С помощью легкого клиентского механизма проверки набор валидаторов, зафиксированных на BTC, используется в качестве общедоступных входных данных для последующей проверки доказательства с нулевым разглашением, которая используется для реализации проверки консенсуса блока L2. Процесс возмещения — это идентификатор транзакции оператора, который делает стейкинг BTC и отправляет вывод средств, а также хэш последнего блока. Претенденты проходят оффчейн и ончейн-верификацию, и если проблем нет, оператор получает средства. Претенденты также могут отправлять вызовы, и после того, как вызов происходит, генерируется случайный валидатор, который может выполнить интерактивную проверку с помощью Bitcoin Script. Период челленджа сокращается примерно до 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.
Для достижения реального времени доказательства, вышеупомянутое создание доказательства не обрабатывается в однострочном режиме, а использует механизмы параллельной обработки с конвейерной (Pipelined) архитектурой, в основном полагаясь на технологию zkVM «Ziren» от ZKM, а также на ускорение с помощью GPU и распределенную сеть доказателей. Согласно текущим данным с официального сайта тестовой сети, доказательство блока занимает в среднем около 2,6 секунд, агрегированное доказательство — в среднем 2,7 секунд, а SNARK-доказательство — около 10,38 секунд. Пользователи могут в режиме реального времени просматривать полный процесс генерации ZK-доказательства для каждой транзакции на фронтальном интерфейсе.
Если ZK-доказательство может быть завершено менее чем за 1 минуту, это означает, что скорость вывода средств для пользователей значительно увеличится. Ранее некоторые выводы из сети Биткойн L2 требовали ожидания нескольких часов, чтобы инициировать вывод, но с быстрым доказательством пользователи могут инициировать вывод сразу после его генерации, то есть, примерно за 1 минуту пользователи могут инициировать вывод. Конечно, окончательное время зачисления средств зависит от состояния транзакций в основной сети Биткойн. Но в отношении вывода средств больше не нужно ожидать, то есть, его вывод в основном близок к времени опыта инициирования транзакции в сети Биткойн.
Кроме вывода средств, реализация доказательства в реальном времени также будет способствовать разработчикам создавать высокочастотные L2 приложения, а совместимость с EVM может привлечь разработчиков из экосистемы Эфириума; для операторов не нужно ждать массового вывода сертификатов, что также повысит эффективность использования средств. Технология ZK относительно сложна, а долгосрочная безопасность требует определенного времени для подтверждения. Тем не менее, реализация доказательства в реальном времени является важным шагом вперед для инфраструктуры технологии Bitcoin L2. Конечно, на данный момент у Bitcoin L2 еще долгий путь, помимо создания технической инфраструктуры, необходимо также приложить больше усилий для изучения потребностей пользователей и содействия разработчикам в создании приложений Bitcoin L2, потому что в конечном итоге, когда экосистема Bitcoin L2 разовьется, будет достаточно торговых сборов для достижения роста маховика. Одной из относительно ясных потребностей является то, что многие держатели BTC также хотят получать прибыль, что видно по количеству BTC на цепочке Эфириума (таких как wbtc и другие), которое в настоящее время превышает 150000 BTC, стоимость которых составляет более 15 миллиардов долларов. Если удастся реализовать безопасность, основанную на оригинальной цепочке BTC, то больше держателей BTC будут готовы попробовать получить прибыль через BTCFI.