Разработчик нашел способ расширить возможности смарт-контрактов биткоина

Соучредитель 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 создает возможности проектирования более «выразительных» контрактов в биткоине, которые изначально сводятся к базовым операциям. В качестве потенциальных вариантов применения решения он назвал игровые приложения вроде шахмат, Го или покер, а также проверку достоверности доказательств.