Розробник біткойнів запропонував новий спосіб перенести більш експресивні смарт-контракти поза ланцюгом у біткойни (BTC) без необхідності софтфорку.
Керівник проекту ZeroSync Робін Лінус, оголошений 9 жовтня в офіційному документі під назвою «BitVM: Compute Anything on Bitcoin» («BitVM: Compute Anything on Bitcoin»), BitVM дозволяє укладати повні за Тьюрингом контракти Bitcoin без зміни правил консенсусу Bitcoin.
"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, який, за словами Лінуса, може обчислювати безліч цікавих програм.
«Потенційні програми включають такі ігри, як Chess, Go або Poker, і, зокрема, перевірку доказів дійсності в контрактах Bitcoin».
«Крім того, можна було б підключити BTC до іноземних ланцюгів, побудувати ринок прогнозів або емулювати нові коди операцій», — сказав Лінус.
Лінус сказав, що обмеження моделі полягає в тому, що вона обмежена двостороннім налаштуванням із прувером і верифікатором, і що для виконання програм необхідний значний обсяг обчислень і зв’язку поза мережею.
Лінус сказав, що наступною «віхою» є повне впровадження BitVM на додаток до Tree++ — мови програмування високого рівня для написання та налагодження контрактів Bitcoin.
BitVM увімкнено програмним форком Taproot, який відбувся в листопаді 2021 року.
Лінус посилався на дослідження Ethereum щодо оптимістичних зведень і дослідження Merkle Trees у своєму внеску у восьмисторінковий білий документ.
Біткойнери реагують на 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 biff: знову розпалюються дебати щодо багаторічної пропозиції 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
Cointelegraph звернувся до Лінуса за коментарем, але не отримав негайної відповіді.
