BitVM2 apuntó a una dirección prometedora, haciendo posible en principio mantener la computación pesada fuera de Bitcoin mientras se permite a cualquiera desafiar resultados incorrectos. El obstáculo siempre fue la implementación. Los circuitos de verificación reales son extremadamente grandes, y publicar trazas de ejecución o pruebas de fraude ingenuas rápidamente abrumaría el espacio de bloques de Bitcoin. GOAT refina y optimiza BitVM2 para superar estas limitaciones, moviendo el diseño de la teoría hacia la implementación práctica.