W odcinku #86 House of ZK Radio, @robin_linus (@ZeroSync_) omawia, dlaczego stworzył BitVM i jak to właściwie działa. Robin najpierw wyjaśnia, jak Bitcoin został zaprojektowany jako system płatności peer-to-peer, ale 10-minutowe bloki i ~4MB na 10 minut to zdecydowanie za mało na globalne użycie. Zamiast przekształcać Bitcoin w kolejną sieć smart kontraktów, chciał znaleźć sposób na uzyskanie mostów w stylu zkRollup i L2 na Bitcoinie, używając tylko istniejących opkodów. To doprowadziło do kluczowej idei BitVM: optymistycznej weryfikacji - zamiast w pełni weryfikować SNARK na łańcuchu, wystarczy móc obalić nieprawidłowy dowód, na przykład wskazując na dwie sprzeczne komórki w złym rozwiązaniu Sudoku. Następnie wyjaśnia, jak BitVM przekształca bardzo ograniczone środowisko Bitcoin Script, 32-bitowe, bez mnożenia, w ogólną warstwę weryfikacyjną, strukturyzując system wokół dwóch ról: operatora, który zgłasza roszczenia, oraz challengerów, którzy mogą zwięźle udowodnić oszustwo. Model zaufania zmienia się z „uczciwej większości” na „jeden uczciwy challenger wystarczy”, otwierając drzwi do mostów z minimalnym zaufaniem i bardziej ekspresywnych L2 bez soft-forka. Obejrzyj cały odcinek, aby głębiej poznać ewolucję BitVM (BitVM1 → BitVM2 → BitVM3), zniekształcone obwody i Glocka, dlaczego nazywa BitVM „stosem hacków na hackach” oraz jak to wszystko wpisuje się w szerszą mapę drogową skalowania Bitcoina w sposób natywny dla Bitcoina: