BitVM переносит ограниченное вычисление вне блокчейна и передаёт Bitcoin заранее подготовленное доказательство мошенничества; это не универсальная виртуальная машина, работающая непосредственно в Bitcoin Script.
Изначальный BitVM описывает двусторонние отношения prover–verifier. Prover выполняет программу вне блокчейна и фиксирует обязательство по её трассе, а verifier вмешивается лишь тогда, когда утверждает, что результат ошибочен. [1]
BitVM2 проверяет SNARK с помощью скриптов, разбитых на меньшие подпрограммы. При оптимистическом ходе всё вычисление не записывается ончейн; в случае спора любой challenger может оспорить недействительное утверждение в сокращённом протоколе. [2]
BitVM Bridge стремится безопаснее переносить BTC на вторые уровни: во время setup он снижает предположение с честного большинства до как минимум одного честного участника, а оспорить недействительное доказательство может любой, не только заранее назначенный verifier. [2]
Permissionless challenge не означает полного отсутствия доверия. Для liveness мосту по-прежнему нужен хотя бы один активный рациональный оператор; если откажут все, средства могут застрять, а конкретный протокол также зависит от setup, доступности данных, стимулов и правильного графа транзакций. [3]
Официальная реализация BitVM Bridge называет себя непродукционной и прямо предупреждает против использования в production. Репозиторий является прототипом SNARK verifier и моста, а не проверенной аудитом гарантией безопасного перевода BTC. [4]
Permissionless challenge не устраняет эксплуатационные расходы. Протокол использует крупные скрипты, разделённые доказательства, обеспечение, сроки и комиссии; бездействие или цензура могут ухудшить liveness, даже если атакующий не способен предъявить действительное доказательство. [3]
BitVM не превращает Bitcoin Script в обычную виртуальную машину для произвольных ончейн-программ. Конструкция разработана без изменения консенсуса: её универсальность возникает из офчейн-вычисления, обязательств, timelocks и заранее подписанного спора, который Bitcoin может обеспечить. [5]
Название BitVM охватывает несколько различных и развивающихся конструкций: BitVM1, BitVM2 и конкретные протоколы мостов имеют разные роли и предположения. До использования следует проверить точную версию, граф транзакций, setup, число операторов, путь challenge и аварийные выходы. [4]
Для полной картины прочитайте эту статью вместе с Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01Запускает ли BitVM программы непосредственно на Bitcoin?+
Нет. Программа вычисляется вне блокчейна; Bitcoin выступает судьёй заранее подготовленного спора о криптографических обязательствах и небольшом шаге доказательства.
02Является ли BitVM готовым trustless bridge?+
Нет. BitVM2 сокращает некоторые предположения доверия и допускает permissionless challenge, но конкретный мост всё равно зависит от setup, операторов, liveness и непродукционной реализации.