BitVM przenosi ograniczone obliczenie poza łańcuch i przekazuje do Bitcoin wcześniej przygotowany dowód oszustwa; nie jest uniwersalną maszyną wirtualną działającą bezpośrednio w Bitcoin Script.
Pierwotny BitVM opisuje dwustronną relację prover–verifier. Prover wykonuje program poza łańcuchem, zobowiązuje się do jego śladu wykonania, a verifier interweniuje tylko wtedy, gdy twierdzi, że wynik jest błędny. [1]
BitVM2 weryfikuje SNARK za pomocą skryptów podzielonych na mniejsze podprogramy. W optymistycznym przebiegu całe obliczenie nie trafia onchain; w razie sporu dowolny challenger może zakwestionować nieważne twierdzenie w skróconym protokole. [2]
BitVM Bridge ma bezpieczniej przenosić BTC do drugich warstw: podczas setupu zmniejsza założenie z uczciwej większości do co najmniej jednego uczciwego uczestnika, a nieważny dowód może podważyć każdy, nie tylko wcześniej wskazany verifier. [2]
Permissionless challenge nie oznacza braku zaufania. Dla liveness most nadal wymaga co najmniej jednego aktywnego racjonalnego operatora; jeśli wszyscy zawiodą, środki mogą utknąć, a konkretny protokół zależy także od setupu, dostępności danych, bodźców i poprawnego grafu transakcji. [3]
Oficjalna implementacja BitVM Bridge określa się jako nieprodukcyjna i wyraźnie ostrzega przed użyciem w produkcji. Repozytorium jest prototypem verifiera SNARK i mostu, a nie audytowaną gwarancją bezpiecznego transferu BTC. [4]
Permissionless challenge nie usuwa kosztów operacyjnych. Protokół używa dużych skryptów, podzielonych dowodów, zabezpieczenia, terminów i opłat; brak aktywności lub cenzura mogą pogorszyć liveness, nawet jeśli atakujący nie potrafi przedstawić ważnego dowodu. [3]
BitVM nie zmienia Bitcoin Script w zwykłą maszynę wirtualną dla dowolnych programów onchain. Konstrukcja nie wymaga zmiany konsensusu: jej ogólność wynika z obliczeń offchain, zobowiązań, timelocks oraz wcześniej podpisanego sporu, który Bitcoin może wyegzekwować. [5]
Nazwa BitVM obejmuje kilka odmiennych i rozwijanych konstrukcji: BitVM1, BitVM2 oraz konkretne protokoły mostów nie mają tych samych ról ani założeń. Przed użyciem należy sprawdzić dokładną wersję, graf transakcji, setup, liczbę operatorów, ścieżkę challenge i wyjścia awaryjne. [4]
Pełniejszy obraz uzyskasz, czytając to hasło razem z Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01Czy BitVM uruchamia programy bezpośrednio na Bitcoin?+
Nie. Program jest obliczany poza łańcuchem; Bitcoin pełni rolę sędziego wcześniej przygotowanego sporu dotyczącego zobowiązań kryptograficznych i małego kroku dowodu.
02Czy BitVM jest gotowym trustless bridge?+
Nie. BitVM2 zmniejsza niektóre założenia zaufania i pozwala na permissionless challenge, ale konkretny most nadal zależy od setupu, operatorów, liveness i nieprodukcyjnej implementacji.