BitVM2 a indiqué une direction prometteuse, rendant possible en principe de garder des calculs lourds hors de Bitcoin tout en permettant à quiconque de contester des résultats incorrects. L'obstacle a toujours été le déploiement. Les circuits de vérification réels sont extrêmement grands, et la publication de traces d'exécution ou de preuves de fraude naïves submergerait rapidement l'espace de bloc de Bitcoin. GOAT affine et optimise BitVM2 pour surmonter ces contraintes, déplaçant le design de la théorie vers un déploiement pratique.