BitVM přesouvá omezený výpočet mimo řetězec a na Bitcoin přivádí předem připravený důkaz podvodu; nejde o obecný virtuální stroj spuštěný přímo v Bitcoin Scriptu.
Původní BitVM popisuje dvoustranný vztah prover–verifier. Prover provede program mimo řetězec, zaváže se k jeho průběhu a verifier zasahuje jen tehdy, když tvrdí, že je výsledek chybný. [1]
BitVM2 ověřuje SNARK pomocí skriptů rozdělených na menší podprogramy. Optimistický průběh nezapisuje celý výpočet na chain; při sporu lze neplatné tvrzení rozporovat ve zkráceném protokolu s permissionless challengerem. [2]
BitVM Bridge míří na bezpečnější převod BTC k druhým vrstvám: při setupu snižuje předpoklad z poctivé většiny na alespoň jednoho poctivého účastníka a chybný důkaz může napadnout kdokoli, nejen předem určený verifier. [2]
Permissionless challenge neznamená nulovou důvěru. Pro liveness most stále vyžaduje alespoň jednoho aktivního racionálního operátora; při selhání všech mohou prostředky uváznout a konkrétní protokol navíc závisí na setupu, dostupnosti dat, pobídkách a správném transakčním grafu. [3]
Oficiální implementace BitVM Bridge se sama označuje za neprodukční a výslovně varuje před použitím v produkci. Repozitář je prototyp SNARK verifieru a mostu, nikoli auditovaná záruka bezpečného převodu BTC. [4]
Permissionless challenge neodstraňuje provozní náklady. Protokol pracuje s velkými skripty, rozdělenými důkazy, kolaterálem, lhůtami a poplatky; nečinnost nebo cenzura může zhoršit liveness, i když se útočníkovi nepodaří předložit platný důkaz. [3]
BitVM nedělá z Bitcoin Scriptu běžný virtuální stroj pro libovolné on-chain programy. Konstrukce je navržena bez změny konsenzu: obecnost vzniká off-chain výpočtem, závazky, timelocky a předem podepsaným sporem, který Bitcoin umí vynutit. [5]
Název BitVM pokrývá několik odlišných a postupně měněných návrhů: BitVM1, BitVM2 a konkrétní bridge protokoly nemají stejné role ani předpoklady. Před použitím je nutné ověřit přesnou verzi, transakční graf, setup, počet operátorů, challenge cestu a nouzové výstupy. [4]
Pro nejúplnější obraz čtěte toto heslo společně s Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01Spouští BitVM programy přímo na Bitcoinu?+
Ne. Program se počítá mimo řetězec; Bitcoin slouží jako soudce předem připraveného sporu nad kryptografickými závazky a malým krokem důkazu.
02Je BitVM hotový trustless bridge?+
Ne. BitVM2 snižuje některé předpoklady důvěry a dovoluje permissionless challenge, ale konkrétní most stále závisí na setupu, operátorech, liveness a neprodukční implementaci.