BitVM2 wees op een veelbelovende richting, waardoor het in principe mogelijk is om zware berekeningen buiten Bitcoin te houden, terwijl iedereen nog steeds onjuiste resultaten kan aanvechten. De hindernis was altijd de implementatie. Echte verificatiecircuits zijn extreem groot, en het publiceren van uitvoeringssporen of naïeve fraudeproeven zou snel de blokruimte van Bitcoin overweldigen. GOAT verfijnt en optimaliseert BitVM2 om deze beperkingen te overwinnen, en verplaatst het ontwerp van theorie naar praktische implementatie.