Skip to main content

Разработчик биткойнов предложил новый способ привнести в биткойн (BTC) более выразительные смарт-контракты вне цепочки без необходимости софт-форка.

Как было объявлено в официальном документе 9 октября под названием «BitVM: Вычислить что-либо на Биткойне» руководителем проекта ZeroSync Робином Линусом, BitVM позволяет выполнять Тьюринг-полные контракты Биткойна без изменения консенсусных правил Биткойна.

Полная по Тьюрингу система — это система, которая теоретически может дать ответ на любую вычислительную задачу.

При использовании 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 не будет принуждать биткойны «привязываться» к этим контрактам.

«Наконец-то это согласие. Если вы не уверены, что ваши монеты привязаны к какому-то полному контракту Тьюринга (что вполне разумно), не привязывайте их к полному смарт-контракту Тьюринга. Один из [the] Прелесть системы UTXO — это изолированная программная среда безопасности».

Другие, такие как «psage», говорят, что BitVM дополняет список вещей, которые подтолкнут цену Биткойна вперед на следующем бычьем рынке.

Коинтелеграф связался с Линусом за комментариями, но не получил немедленного ответа.

Журнал: «Волк на всех улицах» беспокоится о мире, в котором биткойн достигнет 1 миллиона долларов: Зал пламени

Оставить комментарий