Співзасновник 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
За словами Лайнуса, рішення дає змогу перевірити в протоколі будь-яку обчислювальну функцію, маючи повноту за Тьюрингом.
Система не вимагає внесення змін до правил консенсусу Замість виконання обчислень на блокчейні, вони просто перевіряються, подібно до Optimistic-ролапів.
BitVM використовує для взаємодії прувера і верифікатора протокол запиту-відповіді, докази шахрайства і Taproot.
Лайнус зазначив, що навіть виконання «великих програм» буде мінімально впливати на мережу.
«Поки обидві сторони співпрацюють, вони можуть виконувати довільно складні обчислення офлайн, не залишаючи слідів у ланцюжку. Виконання ончейн потрібне тільки в разі виникнення спору», — підкреслив розробник.
Він визнав основним недоліком запропонованої моделі обмеження двостороннього налаштування за допомогою прувера і верифікатора. Іншим «мінусом» Лайнус назвав необхідність великого обсягу обчислень поза мережею. Ці питання передбачається вирішити під час подальших досліджень.
Розробник вважає, що BitVM створює можливості проєктування більш «виразних» контрактів у біткоїні, які спочатку зводяться до базових операцій.
Потенційними варіантами застосування рішення він назвав ігрові додатки на кшталт шахів, Го або покеру, а також перевірку правдивості доказів. Механізм також дає можливість під’єднання біткоїна до інших мереж, створення ринку прогнозів і емуляції нових кодів операцій.
«Це, напевно, найзахоплююче відкриття в історії біткоїн-скриптів. Здається, воно відчиняє практично всі двері та дає нам доступ до ковенантів, сайдчейнів і можливостей, подібних до Liquid або EVM, і все це одночасно, без необхідності форків. Мені не терпиться опублікувати свою демоверсію», — написав програміст під псевдонімом Super Testnet.
Оглядач Сем Паркер зазначив, що BitVM дає можливість біткоїну бути повним за Тюрінгом, як будь-який інший ланцюжок.
З такою думкою не погодився дослідник Paradigm Ден Робінсон. Він вважає, що механізм реалізує тільки функціональну повноту.
CEO Ordinals-платформи Bioniq Боб Боділі вказав головною перевагою BitVM на те, що механізм дає готове доповнення до програмованості біткоїна без оновлення. Однак експерт попередив:
«Це не панацея. Ні, BitVM не такий хороший, як EVM — повільніший, дорожчий і складніший».
BitVM: Everything you need to know (and more…)
BitVM is a new Optimistic Roll Up + Fraud Proof + Taproot Leaf + Bitcoin Script computing paradigm designed by Robin Linus at Zero Sync. They published an excellent white paper this morning reviewed by Super Testnet and Sam Parker… pic.twitter.com/9rjIZZrSSI
— Bob Bodily, PhD 👋 | #BTC #ETH #ICP (@BobBodily) October 10, 2023
Система також не розв’язує проблеми надійності мостів до сайдчейнів, додав він.
Глава Blockstream Адам Бек заявив, що попри ажіотаж, рішення «по суті є узагальненням двосторонньої гри» і може наразитися на «прагматичні межі масштабованості». Лайнус оскаржив його твердження.
Нагадаємо, у березні ZeroSync анонсував створення інструментів для масштабування біткоїна за допомогою доказів з нульовим розголошенням (ZKP).
У жовтні проєкт реалізував першу клієнтську систему для ланцюжка заголовків блоків першої криптовалюти на базі ZK-STARK.