"Resultó que esto es lo suficientemente eficiente para hacerlo con Bitcoin — dentro de todas las limitaciones locas de Bitcoin Script." - @robin_linus, creador de BitVM y @ZeroSync_ En House of ZK Radio #86, Robin Linus explicó cómo BitVM elimina los límites de verificación de Bitcoin como bloqueador, 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 forma optimista los SNARKs dentro del entorno restringido de scripts de Bitcoin. Este es el mecanismo que hace que BitVM sea viable en absoluto. Y es la razón por la que los puentes de Bitcoin con confianza minimizada pueden basarse en una suposición existencial de honestidad en lugar de un modelo de mayoría honesta. Mira la conversación completa con Robin mientras rastreamos cómo estas primitivas desbloquean una nueva clase de sistemas a escala Bitcoin: