Соучредитель 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. Лайнус отметил, что даже выполнение «больших программ» будет минимально воздействовать на сеть. «Пока обе стороны сотрудничают, они могут выполнять произвольно сложные вычисления оффчейн, не оставляя следов в цепочке.
Читать на forklog.com