BitVM2 pekte mot en lovende retning, og gjorde det i prinsippet mulig å holde tung beregning unna Bitcoin, samtidig som alle kunne utfordre feilaktige resultater. Hindringen var alltid utplassering. Ekte verifikasjonskretser er ekstremt store, og publisering av utførelsesspor eller naive svindelbevis ville raskt overvelde Bitcoins blokkplass. GOAT raffinerer og optimaliserer BitVM2 for å overvinne disse begrensningene, og flytter designet fra teori til praktisk implementering.