Разработчик Биткоин предложил новый способ привнести в биткоин (BTC) более выразительные смарт-контракты вне цепочки без необходимости софт-форка.
Как было объявлено в официальном документе 9 октября под названием «BitVM: Вычислить что-либо на Биткоине» руководителем проекта ZeroSync Робином Линусом, BitVM позволяет выполнять Тьюринг-полные контракты Биткоина без изменения консенсусных правил Биткоина.
"Any computable function can be verified on Bitcoin"https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— яobin linus (@robin_linus) October 9, 2023
Полная по Тьюрингу система — это система, которая теоретически может дать ответ на любую вычислительную задачу.
«Логика» биткоин-контрактов выполняется вне цепочки, но затем проверяется в биткоин — аналогично оптимистичным объединениям Ethereum.
Архитектура BitVM основана на доказательствах мошенничества и модели «запрос-ответ», где «доказывающий» может выдвигать претензии, а «проверяющий» может выполнять доказательство мошенничества, чтобы наказать доказывающего в случае подачи ложных заявлений.
Линус объяснил, что Биткоин в его нынешней форме ограничен базовыми операциями, такими как подписи, временные блокировки и хэш-блокировки, но теперь их можно расширить с помощью BitVM, который, по словам Линуса, может вычислять множество интересных приложений.
«Потенциальные приложения включают такие игры, как шахматы, го или покер, и, в частности, проверку доказательств действительности биткоин-контрактов».
«Кроме того, возможно, можно будет соединить BTC с зарубежными цепочками, создать рынок прогнозов или эмулировать новые коды операций», — сказал Линус.
Линус сказал, что ограничением модели является то, что она ограничена двусторонней настройкой с проверяющим и проверяющим, и что для выполнения программ необходим значительный объем вычислений и связи вне цепочки.
Линус сказал, что следующей «вехой» является полная реализация BitVM в дополнение к Tree++ — языку программирования высокого уровня для написания и отладки биткоин-контрактов.
BitVM включен в результате софт-форка Taproot, который состоялся в ноябре 2021 года.
Линус сослался на исследование Ethereum по оптимистичным сверткам и исследование деревьев Меркла в своем восьмистраничном техническом документе.
Биткоинеры отвечают BitVM
Известный биткоинер Эрик Уолл написал в X (Twitter), что концепции, изложенные в официальном документе BitVM, «проверяются» и «с осторожностью» хочет увидеть, какие из них вытекают реальные эксперименты.
Биткоин-аналитик Дилан Леклер также впечатлен официальным документом BitVM. Но Адам Бэк, участник Bitcoin Core, предположил, что людям пока не следует слишком волноваться по поводу разработки.
for people getting (over) excited, this is cool but effectively a generalization of a two-party game – it says right in the abstract – so it's a bit like Greg Maxwell's 2016 ZKP contingent payments implemented example https://t.co/OeHRsbFjud
— Adam Back (@adam3us) October 9, 2023
Связанный: Удар BIP-300: возобновились дебаты по поводу многолетнего предложения Bitcoin Drivechain
Один из разработчиков блокчейн-пространства, «dotta», отметил, что на GitHub уже есть доказательство концепции.
Другой пользователь X, Сэм Паркер, попытался развеять распространенный страх среди биткоин-максималистов, объяснив, что BitVM не будет принуждать биткоин «привязываться» к этим контрактам.
«Наконец-то это согласие. Если вы не доверяете своим монетам, привязанным к какому-то полному контракту Тьюринга (что вполне разумно), не привязывайте их к полному смарт-контракту Тьюринга. Одна из прелестей системы UTXO — это изолированная программная среда безопасности».
Другие, такие как «psage», говорят, что BitVM дополняет список вещей, которые подтолкнут цену Биткоина вперед на следующем бычьем рынке.
The bullish stuff around #Bitcoin is snowballing, lots of them controversial, nevertheless a few off my finger tips:
– BitVM
– Ordinals
– Multiple Pres Candidates talking about it
– ETF
– Halving
– Privacy improvements
– Exponential Hash Rate increase
– Countries mining
….— psage (@perspiringsage) October 9, 2023
Коинтелеграф связался с Линусом за комментариями, но не получил немедленного ответа.
Термины в новости
- Смарт-контракт
- Программа в блокчейне, которая автоматически выполняет заданные условия: переводит средства, выпускает токены, выдаёт займы. Её код нельзя тайно изменить.
- Хеш
- Результат работы хеш-функции — «цифровой отпечаток» данных фиксированной длины. Малейшее изменение данных полностью меняет хеш.
- Бычий рынок
- Длительный период роста цен, когда покупателей больше, чем продавцов.
- Рынок прогнозов (prediction market)
- Платформа, где торгуют контрактами на исход событий — выборов, решений ФРС, спортивных матчей. Цена контракта отражает вероятность события по мнению участников. Крупнейшие — Polymarket и Kalshi.
