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