Сооснователь 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 делает возможности проектирования больше «выразительных» договоров в биткоине, которые вначале сводятся к базисным операциям.
В качестве возможных вариантов внедрения решения он назвал игровые приложения вроде шахмат, Го либо покер, также проверку надежности доказанных фактов. Механизм также дает возможность подключения bitcoin к иным сетям, сотворения рынка прогнозов и эмуляции новых кодов операций.
«Это, наверняка, самое захватывающее открытие в истории bitcoin-скриптов. По-видимому, оно раскрывает фактически все двери и дает нам доступ к ковенантам, сайдчейнам и возможностям, схожим Liquid либо EVM, и все это сразу, без сильной надобности форков. Мне не терпится опубликовать свою демо-версию», — сообщил программист под именем Super Testnet.
Корреспондент Сэм Паркер отметил, что BitVM дает возможность bitcoin быть полным по Тьюрингу, как неважно какая иная цепочка.
С схожим воззрением не согласился исследователь Paradigm Дэн Робинсон. Он думает, что механизм реализует только многофункциональную полноту.
CEO Ordinals-площадки Bioniq Боб Бодили указал основным преимуществом BitVM то, что механизм дает готовое дополнение к программируемости bitcoin без обновления. Но специалист сообщил:
«Это не панацея. Нет, 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 анонсировал создание инструментов для масштабирования bitcoin при помощи доказанных фактов с нулевым обнародованием (ZKP).
В октябре проект воплотил первую клиентскую систему для цепочки заголовков блоков первой цифровой валюты на базе ZK-STARK.
