Дослідження біткойнів розширюють простір для проектування смарт-контрактів

Важливо зазначити, що на відміну від віртуальної машини Ethereum (EVM), BitVM не виконує обчислення в ланцюжку, а перевіряє їх, подібно до optimistic зведення.

Як і слід було очікувати, біткойнери були твіттерами на платформі, раніше відомій як…назвемо її просто X.

«Це, мабуть, найцікавіше відкриття в історії біткойн-скрипту», сказав Super Testnet, розробник програмного забезпечення під псевдонімом, який рецензував статтю.

Ерік Уолл сказав він «обережно схвильований, чекаючи, що дадуть експерименти в реальному світі».

Ключове нововведення полягає в тому, що біткойн «може бути довіреною третьою стороною для довільних [Turing] повне обчислення, незважаючи на те, що біткойн-скрипт не в змозі його фактично виконати», – йдеться в корисний пояснювач від інженера програмного забезпечення Грегора Погачника.

Незважаючи на теоретичні наслідки, Погачник не вірить, що розумні контракти, схожі на Ethereum, можливі.

«Я вважаю, що це досить громіздко і, ймовірно, навіть не є основною метою дизайну», — сказав він.

Що є новим, так це це міг биі все це без будь-яких змін у програмному забезпеченні ядра біткойна — не потрібні форки.

За словами Боба Боділі, генерального директора компанії Bioniq, першим практичним застосуванням цієї технології може бути децентралізація оракулів для контрактів Discreet Log Contracts (DLC). порядкові ринок.

DLC — це тип смарт-контракту для біткойнів, який дозволяє двом сторонам створювати ставки або похідні інструменти, не вимагаючи довіреної третьої сторони.

BitVM може підвищити функціональність, безпеку та універсальність оракул DLC, забезпечивши механізми для перевірки даних оракул у ланцюжку, зробивши їх повністю ненадійними.

Не панацея

Є обмеження. BitVM обмежується двома конкретними учасниками — перевіряльником і верифікатором — хоча вони можуть бути обхідні шляхи.

Навпаки, смарт-контракти Ethereum можуть залучати кілька сторін і можуть бути виконані будь-яким користувачем, що робить Ethereum більш універсальним для багатосторонніх програм.

Обчислення поза мережею також можуть призвести до збільшення затримки та складності.

Уявіть, що ви хочете, щоб мережа біткойн забезпечувала дотримання правил гри в шахи, наприклад. Якщо певний хід потребує транзакції в ланцюжку (наприклад, для вирішення суперечки щодо його законності), тоді на гравців поширюється 10-хвилинний середній час підтвердження блоку мережі Bitcoin.

Ви можете забути про бліц чи швидкі ігри, але така система може бути придатною для заочних шахів, де ходи можна обмінювати протягом днів, а використання шахового механізму de rigueur.

Отже, незважаючи на те, що BitVM представляє інноваційний підхід до передачі повних контрактів Тьюрінга в біткойн, практичні обмеження можуть підірвати його корисність.

Навіть генеральний директор Blockstream Адам Бек був не враженийпорівнюючи BitVM з 7-річним дослідження від Грега Максвелла під час його перебування на посаді директора з технологій Blockstream.

Лінус відповів, що Бек, можливо, пропустив кілька ключових відмінностей, які відрізняють BitVM.