Прототип BitVM-моста между BOB и Bitcoin был успешно протестирован, что стало важной вехой в нашей миссии Hybrid L2 по объединению лучших возможностей Bitcoin и Ethereum.

Прототип использует последнюю версию BitVM2 для обеспечения минимального доверия к биткоин-мосту. Он был разработан в тесном сотрудничестве с Fiamma -ведущим разработчиком BitVM и компанией по созданию инфраструктуры нулевого знания.

Это произошло сразу после объявления о предстоящей интеграции с Babylon, которая принесет в сеть BOB окончательный статус биткоина через протокол Bitcoin Staking от Babylon. Вместе эти два события позволяют BOB перейти ко второй фазе дорожной карты Hybrid L2.

BOB станет первым решением второго уровня, унаследовавшим безопасность Биткойна и разработавшим прототип моста на базе BitVM.

Читайте дальше, чтобы узнать больше.

‍

Что такое BitVM?

BitVM - это механизм для оптимистичного выполнения программ на Bitcoin. Выполнение происходит вне цепочки, но в случае сбоев споры разрешаются и обеспечиваются на цепочке. Оптимизм, но на Биткойне. Два основных варианта использования - это сворачивание Биткойна и мосты с минимальным доверием. В обоих случаях мы хотим позволить пользователям вносить и выводить BTC из L2, не доверяя третьей стороне.

Существующие мосты обычно опираются на централизованные структуры - такие как Wrapped Bitcoin (wBTC) и Coinbase Wrapped Bitcoin (cbBTC) - или на полудоверенные сети вроде tBTC, где безопасность зависит от честности большинства участников. В отличие от них, мосты BitVM2 представляют собой превосходную модель безопасности: Депозиты BTC невозможно украсть до тех пор, пока в сети есть хоть один честный и онлайн-узел, и этим узлом может быть сам вкладчик.

Самая последняя и практичная версия - BitVM2. Полная спецификация протокола приведена в нашем последнем документе.

Сооснователь BOB Алексей Замятин, активный участник и соавтор технического проекта BitVM2, подчеркнул важность сегодняшнего достижения:

"Безопасность биткоина и минимизация доверия к BTC - вот что отличает Bitcoin L2s от всех других цепочек. Безопасность самой надежной и децентрализованной сети в сочетании с возможностью вводить и выводить BTC, не доверяя третьей стороне. До сих пор это было невозможно, почти все BTC-мосты - это доверенные мультисиги. Только сейчас, впервые в истории Биткойна, у нас наконец-то есть план и прототип для достижения этого на практике с помощью BitVM2".

‍

Поток протоколов BitVM2

  1. Сжимаем программу в верификатор SNARK, реализованный на Bitcoin Script. Используя систему доказательств Groth16, мы получаем размер около 1 ГБ.
  2. Разделите верификатор на подпрограммы, не более 4 МБ каждая, чтобы каждая из них могла быть запущена в транзакции Bitcoin.
  3. Оператор принимает программу во время настройки.
  4. При попытке вывода средств из BitVM2 Оператор может быть оспорен любым лицом, например, если разворачивание (peg-out) было выполнено неправильно.
  5. Если это будет оспорено, Оператор должен раскрыть все результаты промежуточной программы.
  6. Если оператор обманывает, один из заявленных результатов подпрограммы будет неверным. Любой может опровергнуть Оператора, выполнив эту конкретную подпрограмму в транзакции Биткойна и показав, что Оператор заявил о фальшивых вычислениях.
  7. Выполнено! Неисправный оператор выбывает из игры и не может получить доступ к средствам BitVM из-за недействительной транзакции траты.

‍

Мостовой поток BitVM

BitVM Bridge использует BitVM2 для реализации легкого клиентского моста на Bitcoin. L2 проверяет Bitcoin, Bitcoin проверяет L2. Наиболее интересной частью является разворачивание, также называемое peg-out, которое уже давно является проблемой для протоколов Bitcoin DeFi.

  1. Операторы выплачивают BTC выводимому пользователю из собственных средств, а затем возвращают BTC из BitVM.
  2. BitVM проверяет, что для транзакции un-wrap на L2 существует корректный peg-out на Bitcoin.
  3. Если все правильно, оператор получает возврат BTC.

‍

При правильной работе процесс моста завершается менее чем за час в каждую сторону, что гораздо быстрее, чем существующие мосты Ethereum L1 или L2 к Bitcoin.

‍

Стратегическое партнерство с компанией Fiamma

Чтобы ускорить внедрение BitVM2, компания BOB объединилась с компанией Fiamma, создавшей первые продукты, использующие BitVM2, включая первый мост BitVM (Fiamma Bridge) и первый верификационный слой Bitcoin на базе BitVM (Fiamma Layer).

Это партнерство сыграло важную роль в успехе прототипа моста BitVM компании BOB. Совместными усилиями BOB и Fiamma развернули ключевую инфраструктуру моста и протестировали раннюю версию программного обеспечения для проверки консенсуса BOB. Это произошло после стратегических инвестиций BOB в компанию Fiamma в начале этого месяца. Их инфраструктура и опыт помогут быстро развернуть BitVM на BOB, начиная с прототипа моста BitVM.

Говоря о сегодняшнем знаменательном событии, Саймон Чен, сооснователь компании Fiamma и основной участник программы BitVM, сказал:

"Мы рады объявить о нашем сотрудничестве с командой BOB! Мы глубоко признательны Алексею и его команде за ценные идеи, высказанные во время наших обсуждений. Мы с нетерпением ждем интеграции моста BitVM в BOB, что сделает его первым мостом 2-го уровня с минимизацией доверия для биткоина. Мы надеемся, что прототип моста BitVM в BOB станет первым из многих впечатляющих анонсов, которые станут результатом нашего стратегического партнерства".

‍

Продвижение гибридной дорожной карты BOB L2

Ранее на этой неделе BOB объявил о планируемой интеграции с Babylon, ведущим протоколом BTC-ставок, что позволит BOB стать защищенной от биткоина сетью и обеспечить окончательность биткоина в ее блокчейне.

Минимизация доверия и окончательность биткоина - важнейшие компоненты гибридного дизайна BOB, который призван объединить безопасность и ликвидность биткоина с инновационностью и универсальностью DeFi от Ethereum, создав BOB как дом для BTC DeFi.

Эта комбинация позволит:

  • Повышенная безопасность: Транзакции на BOB будут привязаны к безопасности Биткойна.
  • Бесперебойные переводы BTC: Пользователи смогут перемещать BTC между Bitcoin и BOB без необходимости доверять посредникам.
  • Более быстрое снятие средств: Финальность биткоина ускорит время вывода средств на родном Ethereum-мосте BOB.

Чтобы узнать больше о том, что это значит, прочитайте документ BOB Hybrid L2 Vision Paper.

‍

Что дальше?

После поставки прототипа BOB планирует развернуть мост BitVM в тестовой сети BOB в начале 2025 года, а развертывание в основной сети - после успешного аудита и интеграции с партнерами.

После того как BOB завершит интеграцию с Babylon и станет Bitcoin Secured Network (BSN), основным механизмом безопасности для моста BitVM будет финализация Bitcoin через BTC-стакинг. Мы активно работаем с Babylon над его реализацией.

А пока следите за нашими социальными сетями, чтобы быть в курсе запуска моста BitVM и других интересных событий, которые мы планируем.

Для разработчиков и всех, кто любит глубоко вникать в технологию, в следующих разделах рассказывается о конкретных разработках, лежащих в основе прототипа моста. Также здесь есть ссылки на тестовые транзакции прототипа.

‍

Техническая информация о BitVM Bridge

Специализированный преобразователь на базе zkVM

Интегрировавшись в основную инфраструктуру Fiamma, мы разработали ранний прототип нашего провера на базе zkVM для проверки построения блоков на BOB. В этой ранней версии мы использовали в качестве входных данных наш прототип SNARK:

  • Транзакции Ethereum L1, передающие новые корни вывода контракту L2OutputOracle.
  • Заголовки блоков L2 до этой "контрольной точки" для целевого блока.
  • Квитанции на выполнение для целевого блока L2.

Здесь мы убедились, что одобривший предложение подписался правильно и что выходной корень совпадает с последним блоком L2. Мы также проверили, что все блоки, ведущие к нашему целевому блоку, расположены в правильном порядке. Затем в записях транзакций целевого блока мы подтвердили наличие определенного "события сгорания", которое однозначно идентифицировало экземпляр BitVM, созданный при первоначальной настройке.

Мостовой контракт и биткоин SPV Полная эстафета

Большая часть логики нашего смарт-контракта определена в новом контракте "Bridge", который позволяет майнить токены ERC20 на BOB и дает операторам возможность обрабатывать запросы на вывод.

Внутри также есть "полный ретранслятор" Bitcoin SPV, который мы проверяем, чтобы убедиться, что транзакции Bitcoin включены.

Процессы Peg-In и Peg-Out

Если предположить, что пользователь Алиса хочет перевести BTC в BOB, а затем вывести средства, то пошаговый протокол моста BitVM выполняется следующим образом. Примечание: "peg-in" и "peg-out" относятся к мосту входа и выхода, в соответствии с определениями, используемыми в коде и документе BitVM.

Пег-Ин:

  • Алиса координирует свои действия с комитетом* для создания нового экземпляра BitVM и получает уникальный идентификатор (вне цепи).
  • Алиса отправляет BTC на указанный биткойн-адрес, ссылаясь на идентификатор.
  • Комитет передает Bitcoin tx и доказательство включения смарт-контракту bridge на BOB, который проверяет (используя ретранслятор SPV), что транзакция депозита была включена в основную цепь Bitcoin с не менее чем 6 подтверждениями.
  • Если все подтверждается, смарт-контракт майнит для Алисы токен BTC ERC20 в соотношении 1:1 к депозиту BTC. Затем Алиса может использовать его в любом из DeFi протоколов BOB, как и любой другой ERC20-токен.

‍

* Так называемый комитет "эмуляции ковенанта" используется для имитации отсутствующих оп-кодов ковенанта в Биткойне. Этот комитет необходим для предварительной подписи определенных транзакций Bitcoin, что гарантирует, что оператор может расходовать депозиты BTC только таким образом, который может быть оспорен, что предотвращает кражу. В частности, это комитет m-of-m, где m может быть очень большим (100 000 случайно выбранных подписантов). До тех пор, пока один из этих подписантов честен, система безопасна. Алиса сама может участвовать в этом комитете. Со временем этот комитет может быть заменен, если Биткойн добавит новый опкод, например TXHASH или OP_CAT.

‍

Пег-аут:

  • Алиса фиксирует завернутые BTC ERC20 в смарт-контракте bridge на BOB и ждет, когда оператор примет запрос.
  • Затем один из операторов отправляет соответствующую сумму BTC на адрес Алисы в Bitcoin и предоставляет доказательство включения смарт-контракту Bridge на BOB после того, как будет получено не менее 6 подтверждений. Смарт-контракт выдает событие "сжечь".

Примечание: на этом этапе привязка к Алисе завершена. Оператор "перечисляет" BTC со своего баланса. На следующих шагах оператор забирает эту сумму с депозитов BitVM, чтобы завершить процесс. Эту логику можно сравнить с логикой моста ликвидности в Ethereum.

  • Секвенсор BOB создает блок, содержащий событие "сжечь", который затем используется в качестве входных данных для ZK-провера, описанного выше.
  • Оператор инициирует вывод средств с депозитов BitVM на Bitcoin. Теперь в течение 7 дней любой желающий может проверить правильность вывода и, в случае ошибок, оспорить действия оператора.
  • Вариант 1: Все правильно. Если оператор выполнил привязку правильно (правильная сумма, получатель, в течение требуемого времени, ...), он не будет оспорен и получит BTC с депозита BitVM через 7 дней.
  • Вариант 2: Ошибка и вызов. Если оператор попытался сжульничать (например, не отправлял BTC Алисе, но все равно пытается вернуть), он будет оспорен - при условии, что в сети есть хотя бы 1 честный и онлайн-пользователь. Тогда оператор вынужден опубликовать дополнительные данные о выполнении верификатора SNARK (транзакция "Assert"), что позволяет оспаривающим доказать сети Биткойн, что оператор мошенничает (с помощью еще 1 транзакции). Если оператор не публикует транзакцию "Asset" или действительно жульничает (то есть верификатор SNARK не может быть выполнен правильно), его попытка вывода средств будет провалена, и он будет удален из набора операторов.

‍

Обратите внимание, что в случае с peg-out мы можем гибко вычесть комиссию в смарт-контракте, чтобы оператор мог получить больше при возврате средств из экземпляра BitVM.

‍

Прототип моста BitVM в действии

Чтобы продемонстрировать прототип моста в действии, давайте рассмотрим несколько примеров транзакций на Bitcoin signet.

Во-первых, транзакция peg-in, при которой пользователь блокирует свои BTC:

‍

Счастливый путь

В оптимальном случае (когда оператор честен) он передает BTC пользователю в pegout_tx, а затем забирает средства (неоспоримо) в happy_take_tx:

‍

Несчастливый путь (с успешным вызовом)

Когда оператор пытается вернуть BTC без успешного ZK-доказательства, претендент может предоставить disprove_tx, который докажет BitVM, что assert_tx был недействительным:

‍

Несчастливый путь (с неудачным вызовом)

Если оператора оспаривают в действительном peg-out, он выдает assert_tx, который невозможно опровергнуть. Затем они возвращают средства в unhappy_take_tx:

‍

Следующие шаги по развитию

Текущий прототип все еще имеет ряд ограничений и находится в стадии разработки. Следующие шаги приведут к выпуску тестовой сети перед запуском:

‍

  • Добавьте проверку окончательности Bitcoin через Babylon, включая клиент ZK light для корректной проверки этого на Bitcoin.
  • Интеграция с BOB Bridge и Stake для улучшения UX, скрывая сложности от пользователей.
  • Существуют некоторые практические ограничения на размещение некоторых обязательств на цепочке из-за ограничений по размеру (например, в настоящее время assert tx не имеет обязательств по данным). Мы изучаем этот вопрос вместе с Fiamma.
  • Тонкая настройка экономики, чтобы обеспечить справедливую оплату труда операторов и стимулировать их к работе с мостом BitVM.

‍