„Okazało się, że to jest wystarczająco wydajne, aby działać na Bitcoinie - w ramach wszystkich szalonych ograniczeń Bitcoin Script.” - @robin_linus, twórca BitVM i @ZeroSync_ W House of ZK Radio #86, Robin Linus wyjaśnił, jak BitVM usuwa ograniczenia weryfikacji Bitcoin jako blokadę - tłumacząc, dlaczego obalenie niepoprawnego SNARK-a może być tańsze niż pełna weryfikacja poprawnego i jak ta asymetria jest wykorzystywana do optymistycznej weryfikacji SNARK-ów w ograniczonym środowisku skryptowym Bitcoin. To jest mechanizm, który sprawia, że BitVM jest w ogóle wykonalny. I to jest powód, dla którego mosty Bitcoin z minimalnym zaufaniem mogą polegać na założeniu o egzystencjalnej uczciwości, a nie na modelu uczciwej większości. Obejrzyj całą rozmowę z Robin, gdy śledzimy, jak te prymitywy odblokowują nową klasę systemów na skalę Bitcoin: