"Resulta que esto es lo suficientemente eficiente para hacerlo en Bitcoin, dentro de todas las locas limitaciones de Bitcoin Script." - @robin_linus, Creador de BitVM y @ZeroSync_ En el House of ZK Radio #86, Robin Linus explicó cómo BitVM elimina los límites de verificación de Bitcoin como un obstáculo, explicando por qué refutar un SNARK incorrecto puede ser más barato que verificar completamente uno correcto y cómo esa asimetría se utiliza para verificar de manera optimista los SNARKs dentro del entorno de scripting restringido de Bitcoin. Este es el mecanismo que hace que BitVM sea viable. Y es la razón por la que los puentes de Bitcoin minimizados en confianza pueden depender de una suposición de honestidad existencial en lugar de un modelo de mayoría honesta. Mira la conversación completa con Robin mientras trazamos cómo estos primitivos desbloquean una nueva clase de sistemas a escala de Bitcoin: