9 октября Bitcoin-разработчик Робин Линус опубликовал технический документ для BitVM, в котором говорится: «Любая вычислимая функция может быть проверена в Bitcoin». Это новое предложение, которое позволяет проверять и применять произвольные вычисления в сети Bitcoin без необходимости софт-форка. Сторонники утверждают, что BitVM внесет в экосистему смарт-контракты, подобные Ethereum.
Когда Линуса попросили дать упрощенное объяснение, он ответил:
«Это обеспечивает более выразительные Bitcoin-контракты. В частности, он обеспечивает функциональность, для которой, как мы думали, понадобится софт-форк. Это может позволить использовать не требующие доверия сайдчейны, но эта проблема еще не полностью решена».
Робин Линус — разработчик ZeroSync, ассоциации, созданной для помощи в масштабировании сети Bitcoin с помощью доказательств с нулевым разглашением (zk-Proof).
Система работает, разбивая сложные вычисления на простые логические элементы, построенные с использованием Bitcoin-скриптов и объединенные в сети для вывода необходимых вычислений.
Линус утверждает, что это полная по Тьюрингу система, которая теоретически может дать ответ на любую вычислительную задачу. Возможность использования BitVM появилась благодаря софт-форку Taproot в ноябре 2021 года, который также обеспечил и появление Порядковых номеров (Ordinals).
Криптосообщество отреагировало на предложение BitVM со смешанными чувствами:
Основные заинтересованные стороны, в том числе технический директор Tether Паоло Ардоино, выразили оптимизм по поводу разработки, в то время как некоторые подняли вопросы по этому поводу.
Исследователь венчурной компании Paradigm Дэн Робинсон отметил ограничение BitVM в том, что его нельзя использовать в накопительных пакетах или других приложениях с многосторонними вычислениями, поскольку он работает только для двух сторон.
Читайте также:
