Nella House of ZK Radio #86, @robin_linus (@ZeroSync_) spiega perché ha creato BitVM e come funziona realmente. Robin inizia spiegando come Bitcoin sia stato progettato come un sistema di pagamento peer-to-peer, ma i blocchi da 10 minuti e ~4MB ogni 10 minuti non sono affatto sufficienti per un utilizzo globale. Invece di trasformare Bitcoin in un'altra catena di smart contract, voleva un modo per ottenere ponti in stile zkRollup e L2 su Bitcoin utilizzando solo gli opcodes esistenti. Questo ha portato all'idea centrale di BitVM: verifica ottimistica - invece di verificare completamente un SNARK on-chain, è sufficiente essere in grado di confutare una prova non valida, come puntare a due celle in conflitto in una cattiva soluzione di Sudoku. Poi spiega come BitVM trasformi l'ambiente molto limitato, a 32 bit, senza moltiplicazione, di Bitcoin Script in uno strato di verifica generale strutturando il sistema attorno a due ruoli: un operatore che pubblica affermazioni e sfidanti che possono dimostrare sinteticamente la frode. Il modello di fiducia passa da "maggioranza onesta" a "un solo sfidante onesto è sufficiente", aprendo la porta a ponti a fiducia ridotta e L2 più espressivi senza un soft-fork. Guarda l'episodio completo per approfondire l'evoluzione di BitVM (BitVM1 → BitVM2 → BitVM3), circuiti confusi e Glock, perché chiama BitVM "un mucchio di hack su hack", e come tutto questo si inserisca nella roadmap più ampia per scalare Bitcoin in modo nativo su Bitcoin: