BitVM переносить обмежене обчислення поза блокчейн і передає Bitcoin наперед підготовлений доказ шахрайства; це не універсальна віртуальна машина, що працює безпосередньо в Bitcoin Script.
Початковий BitVM описує двосторонні відносини між prover і verifier. Prover виконує програму поза блокчейном, бере зобов'язання щодо сліду її виконання, а verifier втручається лише тоді, коли стверджує, що результат хибний. [1]
BitVM2 перевіряє SNARK за допомогою скриптів, поділених на менші підпрограми. За оптимістичного перебігу весь розрахунок не записується onchain; у разі спору будь-який 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 на звичайну віртуальну машину для довільних onchain-програм. Конструкція розрахована на роботу без зміни консенсусу: її загальність походить від offchain-обчислення, зобов'язань, timelocks і наперед підписаного спору, який може забезпечити Bitcoin. [5]
Назва BitVM охоплює кілька різних конструкцій, що розвиваються: BitVM1, BitVM2 і конкретні bridge-протоколи не мають однакових ролей та припущень. Перед використанням потрібно перевірити точну версію, граф транзакцій, setup, кількість операторів, шлях challenge й аварійні виходи. [4]
Для повної картини прочитайте також Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01Чи виконує BitVM програми безпосередньо на Bitcoin?+
Ні. Програма обчислюється поза блокчейном; Bitcoin виступає суддею наперед підготовленого спору щодо криптографічних зобов'язань і малого кроку доказу.
02Чи є BitVM готовим trustless bridge?+
Ні. BitVM2 зменшує деякі припущення довіри й дозволяє permissionless challenge, але конкретний міст і далі залежить від setup, операторів, liveness і непродукційної реалізації.