Dans l'épisode #86 de House of ZK Radio, @robin_linus (@ZeroSync_) explique pourquoi il a créé BitVM et comment cela fonctionne réellement. Robin commence par expliquer comment Bitcoin a été conçu comme un système de paiement peer-to-peer, mais des blocs de 10 minutes et ~4 Mo par 10 minutes ne sont pas du tout suffisants pour un usage mondial. Plutôt que de transformer Bitcoin en une autre chaîne de contrats intelligents, il voulait un moyen d'obtenir des ponts de style zkRollup et des L2 sur Bitcoin en utilisant uniquement des opcodes existants. Cela a conduit à l'idée centrale de BitVM : la vérification optimiste - au lieu de vérifier complètement un SNARK sur la chaîne, il suffit de pouvoir réfuter une preuve invalide, comme pointer vers deux cellules conflictuelles dans une mauvaise solution de Sudoku. Il continue ensuite à expliquer comment BitVM transforme l'environnement très limité de Bitcoin Script, 32 bits, sans multiplication, en une couche de vérification générale en structurant le système autour de deux rôles : un opérateur qui publie des revendications, et des challengers qui peuvent prouver succinctement une fraude. Le modèle de confiance passe de "majorité honnête" à "un challenger honnête suffit", ouvrant la porte à des ponts minimisés en confiance et à des L2 plus expressifs sans un soft-fork. Regardez l'épisode complet pour approfondir l'évolution de BitVM (BitVM1 → BitVM2 → BitVM3), les circuits embrouillés et Glock, pourquoi il appelle BitVM "un tas de hacks sur des hacks", et comment tout cela s'inscrit dans la feuille de route plus large pour l'évolutivité de Bitcoin de manière native à Bitcoin :