Разработчик Биткоин предложил новый способ привнести в биткоин (BTC) более выразительные смарт-контракты вне цепочки без необходимости софт-форка.
Как было объявлено в официальном документе 9 октября под названием «BitVM: Вычислить что-либо на Биткоине» руководителем проекта ZeroSync Робином Линусом, BitVM позволяет выполнять Тьюринг-полные контракты Биткоина без изменения консенсусных правил Биткоина.
Полная по Тьюрингу система — это система, которая теоретически может дать ответ на любую вычислительную задачу.
«Логика» биткоин-контрактов выполняется вне цепочки, но затем проверяется в биткоин — аналогично оптимистичным объединениям Ethereum.
Архитектура BitVM основана на доказательствах мошенничества и модели «запрос-ответ», где «доказывающий» может выдвигать претензии, а «проверяющий» может выполнять доказательство мошенничества, чтобы наказать доказывающего в случае подачи ложных заявлений.
Линус объяснил, что Биткоин в его нынешней форме ограничен базовыми операциями, такими как подписи, временные блокировки и хэш-блокировки, но теперь их можно расширить с помощью BitVM, который, по словам Линуса, может вычислять множество интересных приложений.
«Потенциальные приложения включают такие игры, как шахматы, го или покер, и, в частности, проверку доказательств действительности биткоин-контрактов».
«Кроме того, возможно, можно будет соединить BTC с зарубежными цепочками, создать рынок прогнозов или эмулировать новые коды операций», — сказал Линус.
Линус сказал, что ограничением модели является то, что она ограничена двусторонней настройкой с проверяющим и проверяющим, и что для выполнения программ необходим значительный объем вычислений и связи вне цепочки.
Линус сказал, что следующей «вехой» является полная реализация BitVM в дополнение к Tree++ — языку программирования высокого уровня для написания и отладки биткоин-контрактов.
BitVM включен в результате софт-форка Taproot, который состоялся в ноябре 2021 года.
Линус сослался на исследование Ethereum по оптимистичным сверткам и исследование деревьев Меркла в своем восьмистраничном техническом документе.
Биткоинеры отвечают BitVM
Известный биткоинер Эрик Уолл написал в X (Twitter), что концепции, изложенные в официальном документе BitVM, «проверяются» и «с осторожностью» хочет увидеть, какие из них вытекают реальные эксперименты.
Биткоин-аналитик Дилан Леклер также впечатлен официальным документом BitVM. Но Адам Бэк, участник Bitcoin Core, предположил, что людям пока не следует слишком волноваться по поводу разработки.
Связанный: Удар BIP-300: возобновились дебаты по поводу многолетнего предложения Bitcoin Drivechain
Один из разработчиков блокчейн-пространства, «dotta», отметил, что на GitHub уже есть доказательство концепции.
Другой пользователь X, Сэм Паркер, попытался развеять распространенный страх среди биткоин-максималистов, объяснив, что BitVM не будет принуждать биткоин «привязываться» к этим контрактам.
«Наконец-то это согласие. Если вы не доверяете своим монетам, привязанным к какому-то полному контракту Тьюринга (что вполне разумно), не привязывайте их к полному смарт-контракту Тьюринга. Одна из прелестей системы UTXO — это изолированная программная среда безопасности».
Другие, такие как «psage», говорят, что BitVM дополняет список вещей, которые подтолкнут цену Биткоина вперед на следующем бычьем рынке.
Коинтелеграф связался с Линусом за комментариями, но не получил немедленного ответа.
Источник: cryptohamster.org