BitVMX предусматривает различные программы на Биткоине — даже Linux

Исследователи Биткоина совершенствуют новую платформу с открытым исходным кодом под названием BitVMX, которая обещает позволить создавать и безопасно выполнять сложные приложения и функции на базовом уровне Биткоина.

BitVMX, вдохновленный проектом BitVM Робина Линуса, поддерживается RootstockLabs, фирмой-разработчиком биткоин-протокола второго уровня Rootstock. Проект направлен на создание рецензируемой, независимой от сайдчейна среды с открытым исходным кодом для разработки программ на основе биткоинов.

Главный научный сотрудник RootstockLabs Серджио Демиан Лернер раскрыл подробности проекта BitVMX и его потенциального влияния на экосистему Биткоин. Официально проект будет представлен на конференции Bitcoin++ в Остине вместе с публикацией его официального документа.

Исследование Лернера о моделях майнинга, использованных создателем Биткоина Сатоши Накамото, широко цитируется новостными агентствами и исследователями. Источник: Bitslog.

Лернер наиболее известен своими исследованиями по изучению закономерностей, позволяющих определить, какое оборудование Сатоши Накамото использовал для майнинга на заре существования Биткоина.

BitVMX хочет запускать программы на Биткоине

На техническом уровне BitVMX позволяет блокировать средства в неизрасходованном выходе транзакции (UTXO) с условием расходования, которое зависит от результата выполнения программы. Лернер сказал, что программа должна быть определена при создании UTXO, но ввод программы не обязателен.

Ученый сказал, что возможности платформы широки и потенциально могут обеспечить множество приложений и функций:

«Невероятная особенность BitVMX заключается в том, что он, по сути, позволяет разработчикам запускать что угодно на Биткоине, даже Linux».

Лернер сказал, что BitVMX может стать мостом к Биткоину, который обеспечит односторонний поток BTC между основной цепочкой и сайдчейнами, такими как Rootstock, где его затем можно будет использовать для взаимодействия с децентрализованными приложениями (DApps) и другими смарт-контрактами.

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

BitVMX также будет поддерживать верификаторы краткого неинтерактивного аргумента знания с нулевым разглашением (zk-SNARK) и масштабируемого прозрачного аргумента знания с нулевым разглашением (zk-STARK) непосредственно в Биткоине. Это обещает открыть новые приложения, такие как условные платежи с нулевым разглашением и автономные программы вознаграждения за обнаружение ошибок.

Критика Биткоина L2

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

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

Протоколы Биткоин-2, ранжированные по общему количеству биткоинов, заблокированных в различных протоколах. Одноранговый протокол Lightning по-прежнему блокирует наибольшее количество BTC в платежных каналах. Источник: Bitcoin Frontier Fund.

Ученый-компьютерщик также сказал, что Rootstock Labs верит в простые критерии определения того, что представляет собой L2 Биткоина:

«Он должен использовать BTC в качестве своего собственного актива и в качестве механизма расчетов для обеспечения транзакций и демонстрации функциональной зависимости от Биткоина. Все остальное — просто аффинити-маркетинг».

Лернер добавил, что двуличные проекты, утверждающие, что они построены на Биткоине, омрачали каждый бычий рынок. Он добавляет, что пользователям следует придерживаться проверенных в боевых условиях решений, таких как Lightning Network, Liquid и Rootstock, а не «рисковать, делая ставку на непроверенные или неизвестные решения с глубокими карманами и блестящими маркетинговыми кампаниями».

Изменение повествования о функциональности Биткоина

Проект BitVMX открыто отдает должное фундаментальной работе платформы BitVM Робина Линуса. Он основан на теоретическом подходе BitVM, который использует сложный комбинаторный подход к логическим схемам, полагаясь на большие деревья Меркла для проверки на уровне вентилей.

Вместо этого BitVMX предлагает упрощенный подход, выполняя инструкции центрального процессора напрямую с использованием кодов операций сценария Биткоина. Лернер говорит, что это делает его более подходящим для реальных приложений и открывает возможности для таких вариантов использования, как запуск легких клиентов сайдчейна и проверка с использованием zk-SNARK.

Ученый объяснил, что эта структура привносит в Биткоин спорные вычисления «эффективным и безопасным способом», что открывает ряд новых вариантов использования.

Лернер кратко раскрыл парадигму спорных вычислений. Никакие вычисления не выполняются в блокчейне, если все стороны согласны с результатом вычислений.

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

Лернер предполагает, что BitVMX вдохновит новую волну разработчиков биткоинов за счет расширения функциональности сети. Он выделил структуру, обеспечивающую более сложные ограничения расходов для базового уровня Биткоина.

Ученый-компьютерщик добавил, что в языке сценариев Биткоина отсутствуют ключевые коды операций, которые могли бы сделать BitVMX дешевле и эффективнее.

«Вопрос больше не будет в том, сможет ли Биткоин делать X?», а «насколько эффективно Биткоин может делать X», — сказал Лернер.

Изменение повествования также может ускорить изменения в Биткоине и потенциально вернуть коды операций, включая OP_MUL или OP_CAT.