BitVM2 a indicat o direcție promițătoare, făcând posibil, în principiu, să se evite calculul masiv pe Bitcoin, permițând totodată oricui să conteste rezultate incorecte. Obstacolul a fost mereu desfășurarea. Circuitele reale de verificare sunt extrem de mari, iar publicarea de urme de execuție sau dovezi naive de fraudă ar copleși rapid spațiul de blocuri al Bitcoin. GOAT rafinează și optimizează BitVM2 pentru a depăși aceste constrângeri, mutând designul de la teorie la implementare practică.