En House of ZK Radio # 86, @robin_linus (@ZeroSync_) explica por qué creó BitVM y cómo funciona realmente. Robin explica primero cómo Bitcoin fue diseñado como un sistema de pago peer-to-peer, pero los bloques de 10 minutos y ~4MB por 10 minutos no son suficientes para el uso global. En lugar de convertir Bitcoin en otra cadena de contratos inteligentes, quería una forma de obtener puentes de estilo zkRollup y L2 en Bitcoin utilizando solo los códigos de operación existentes. Eso llevó a la idea central de BitVM: verificación optimista: en lugar de verificar completamente un SNARK en la cadena, solo necesita poder refutar una prueba no válida, como señalar dos celdas en conflicto en una mala solución de Sudoku. Luego continúa explicando cómo BitVM convierte el entorno muy limitado, de 32 bits y sin multiplicación de Bitcoin Script en una capa de verificación general al estructurar el sistema en torno a dos roles: un operador que publica reclamos y retadores que pueden probar sucintamente el fraude. El modelo de confianza cambia de "mayoría honesta" a "un retador honesto es suficiente", abriendo la puerta a puentes de confianza minimizada y L2 más expresivos sin una bifurcación suave. Vea el episodio completo para profundizar en la evolución de BitVM (BitVM1 → BitVM2 → BitVM3), los circuitos confusos y Glock, por qué llama a BitVM "un montón de hacks sobre hacks", y cómo todo esto encaja en la hoja de ruta más amplia para escalar Bitcoin de una manera nativa de Bitcoin: