În House of ZK Radio #86, @robin_linus (@ZeroSync_) explică de ce a creat BitVM și cum funcționează de fapt. Robin explică mai întâi cum Bitcoin a fost conceput ca un sistem de plată peer-to-peer, dar blocurile de 10 minute și ~4 MB la 10 minute nu sunt nici pe departe suficiente pentru utilizarea globală. În loc să transforme Bitcoin într-un alt lanț de contracte inteligente, a vrut o modalitate de a obține poduri în stil zkRollup și L2 pe Bitcoin folosind doar codurile de operare existente. Acest lucru a dus la ideea de bază a BitVM: verificarea optimistă - în loc să verificați complet un SNARK în lanț, trebuie doar să puteți infirma o dovadă nevalidă, cum ar fi indicarea a două celule conflictuale într-o soluție proastă de Sudoku. Apoi continuă să explice modul în care BitVM transformă mediul foarte limitat, pe 32 de biți, fără multiplicare, al Bitcoin Script într-un strat general de verificare, structurând sistemul în jurul a două roluri: un operator care postează cereri și contestatari care pot dovedi succint frauda. Modelul de încredere trece de la "majoritate onestă" la "un adversar onest este suficient", deschizând ușa către punți minimizate de încredere și L2 mai expresive fără un soft-fork. Urmăriți episodul complet pentru a aprofunda evoluția BitVM (BitVM1 → BitVM2 → BitVM3), circuitele confuze și Glock, de ce el numește BitVM "o grămadă de hack-uri asupra hack-urilor" și cum toate acestea se încadrează în foaia de parcurs mai largă pentru scalarea Bitcoin într-un mod nativ Bitcoin: