En el House of ZK Radio #86, @robin_linus (@ZeroSync_) explica por qué creó BitVM y cómo funciona realmente. Robin primero explica cómo Bitcoin fue diseñado como un sistema de pago entre pares, pero los bloques de 10 minutos y ~4MB por cada 10 minutos no son suficientes para un uso global. En lugar de convertir Bitcoin en otra cadena de contratos inteligentes, quería una forma de obtener puentes y L2 al estilo zkRollup en Bitcoin utilizando solo opcodes existentes. Eso llevó a la idea central de BitVM: verificación optimista - en lugar de verificar completamente un SNARK en la cadena, solo necesitas poder refutar una prueba inválida, como señalar dos celdas conflictivas en una mala solución de Sudoku. Luego explica cómo BitVM convierte el entorno muy limitado de Bitcoin Script, de 32 bits y sin multiplicación, en una capa de verificación general al estructurar el sistema en torno a dos roles: un operador que publica reclamaciones y desafiantes que pueden probar de manera sucinta el fraude. El modelo de confianza cambia de "mayoría honesta" a "un desafiante honesto es suficiente", abriendo la puerta a puentes minimizados en confianza y L2s más expresivos sin un soft-fork. Mira el episodio completo para profundizar en la evolución de BitVM (BitVM1 → BitVM2 → BitVM3), circuitos enredados 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: