💬 Объединение биткоинов может быть ближе, чем мы думаем

Объединение биткоинов может быть ближе, чем мы думаем

Июль оказался знаменательным месяцем для усилий по масштабированию Bitcoin с использованием доказательств с нулевым разглашением.

Сначала StarkWare продемонстрировала верификатор STARK в тестовой сети Bitcoin Signet 17 июля.

Затем на прошлой неделе на конференции Bitcoin 2024 в Нэшвилле две конкурирующие команды, стоящие за BitcoinOS и BitVMX, проверили zk-доказательства в сети Bitcoin. Обе используют BitVM или «виртуальную машину Bitcoin», подход к созданию полных по Тьюрингу контрактов Bitcoin без необходимости в софтфорке.

Подробнее: Исследования биткоина расширяют возможности проектирования смарт-контрактов

По словам Вайкенга Чена из L2 Iterative Ventures, работавшего над верификатором STARK совместно со StarkWare, ключевым различием между двумя подходами является степень выполнения без доверия.

«BitVM имеет допущение о доверии, которое все еще требует [схемы мультиподписи]», — сказал Чен Blockworks. «Это допущение можно убрать, если у нас есть OP_CAT».

Различие аналогично тому, что существует между оптимистичными и zk (валидационными накоплениями) в Ethereum.

Несмотря на то, что команды BitcoinOS и BitVMX проверяют доказательства zk, они делают это внутри BitVM. По сравнению с будущей версией Биткойна с OP_CAT, это совершенно другие модели доверия, согласился Виллем Шро, основатель Botanix Labs. Botanix Labs создает децентрализованный уровень доказательства доли 2 с использованием BTC, который называется Spiderchain.

«BitVM позволяет вам запускать любой тип кода, и предположение о доверии для запуска любого типа кода является оптимистичным», — сказал Шро изданию Blockworks. «Так что теперь вы можете сказать: «С оптимистичным предположением о защите от мошенничества BitVM мы можем проверить доказательство zk в BitVM».

Rootstock Labs сотрудничала с Sovereign Labs над BitVMX. BitcoinOS, одной из реализаций которой является Sovryn (не путать с Sovereign Labs), представляет собой фреймворк для совместимых накопительных пакетов.

По словам Чена, «нет явного победителя», поскольку даже если OP_CAT будет добавлен в Bitcoin, «подход BitVM гораздо дешевле реализовать в блокчейне». Одним из потенциальных компромиссов является то, что «запрос-ответ может привести к длительному периоду расчетов», сказал он.

Подробнее: Тестирование будущего биткоина с нулевым разглашением

Например, в сети Bitcoin было проведено 52 небольших транзакции для демонстрации протокола проверки BitSnark в BitcoinOS.

Настройка включает в себя две стороны: Prover, который хочет получить доступ к средствам, заблокированным на адресе Taproot, и Verifier. Протокол начинается с того, что обе стороны совместно подписывают все транзакции. Если Prover честен, протокол завершается после первоначальной транзакции, и Prover может получить доступ к средствам после установленного времени блокировки.

Однако, если верификатор обнаружит нечестное доказательство, он может оспорить его, инициировав серию транзакций, в которых каждая сторона по очереди делает запрос и отвечает — до 26 итераций, по словам команды BitcoinOS.

По словам Мэтта Блэка, соучредителя и главного технического директора Atomic Finance, пока рано говорить о том, насколько масштабируемым окажется этот подход на практике.

«Все любят говорить о неограниченной масштабируемости с оптимистичными накоплениями, но на самом деле существуют значительные ограничения», — сказал Блэк в телеграм-группе BitVM Builders.

Блэк отмечает, что предположения о доверии составляют только 1 из n, что означает, что «должна быть одна честная сторона из n, иначе средства могут быть украдены», — сказал он Blockworks — это лучше, чем обычная мультиподпись Ethereum.

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

В демонстрации BitcoinOS последняя транзакция, направленная на выполнение одной инструкции ЦП в цепочке на блоке 853626, включала в себя выполнение проверяющим устройством определенной арифметической операции на виртуальной машине, которая после проверки позволяла проверяющему получить доступ к средствам, как и ожидалось.

Но Чен хотел бы видеть больше информации о том, как оспорить доказательство, отметив, что опубликовать доказательство «это самая легкая часть».

«Оспаривание доказательства, вероятно, является самой сложной частью в ландшафте BitVM», — объяснил Чен. «Проблема их конструкции в том, что они не поддерживают доказательства мошенничества в памяти — злонамеренный доказывающий может изменить состояние, чтобы получить недействительное доказательство — его легко сломать».

Это общая проблема BitVM, сказал Чен. «У нас нет четкого ответа на вопрос, как эффективно передавать состояние между блоками вызова-ответа».

Оба эти решения далеки от готовности к производству. Неясно даже, как именно, не говоря уже о том, когда, Bitcoin Core может быть обновлен для использования OP_CAT.

Блэк считает, что это может занять некоторое время. «Лично я сомневаюсь, что это будет активировано в ближайшее время», — сказал он.

Теоретически использование Circle STARK от StarkWare повышает эффективность процесса доказательства, позиционируя решение StarkWare как высокомасштабируемую и безопасную альтернативу реализации zk proof на Bitcoin.

Тем не менее, обеспечивая проверку доказательств — в данном случае доказательство SNARK — без изменения протокола Bitcoin, BitVMX и BitcoinOS открывают потенциал для продвинутых приложений, таких как смарт-контракты в стиле Ethereum, которые ранее были невозможны в Bitcoin и, следовательно, связаны с сайдчейнами.