In House of ZK Radio #86 erklärt @robin_linus (@ZeroSync_), warum er BitVM erstellt hat und wie es tatsächlich funktioniert. Robin erklärt zunächst, wie Bitcoin als Peer-to-Peer-Zahlungssystem konzipiert wurde, aber 10-Minuten-Blöcke und ~4MB alle 10 Minuten sind bei weitem nicht genug für die globale Nutzung. Anstatt Bitcoin in eine weitere Smart-Contract-Kette zu verwandeln, wollte er einen Weg finden, zkRollup-ähnliche Brücken und L2s auf Bitcoin zu bringen, indem er nur bestehende Opcodes verwendet. Das führte zur Kernidee von BitVM: optimistische Verifizierung - anstatt einen SNARK vollständig on-chain zu verifizieren, muss man nur in der Lage sein, einen ungültigen Beweis zu widerlegen, wie das Zeigen auf zwei widersprüchliche Zellen in einer schlechten Sudoku-Lösung. Er erklärt dann, wie BitVM die sehr begrenzte, 32-Bit-Umgebung von Bitcoin Script ohne Multiplikation in eine allgemeine Verifizierungsschicht umwandelt, indem das System um zwei Rollen strukturiert wird: einen Betreiber, der Ansprüche erhebt, und Herausforderer, die Betrug prägnant beweisen können. Das Vertrauensmodell wechselt von „ehrlicher Mehrheit“ zu „ein ehrlicher Herausforderer reicht aus“, was die Tür zu vertrauensminimierten Brücken und ausdrucksstärkeren L2s ohne Soft-Fork öffnet. Sehen Sie sich die gesamte Episode an, um tiefer in die Evolution von BitVM (BitVM1 → BitVM2 → BitVM3), verworrene Schaltungen und Glock, warum er BitVM „einen Haufen Hacks auf Hacks“ nennt, und wie all dies in den breiteren Fahrplan zur Skalierung von Bitcoin auf eine Bitcoin-native Weise passt: