Появился способ увеличения возможностей смарт-контрактов биткоина

Соучредитель 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.

Подписывайтесь на наш канал в: Telegram, Vk, Twitter.