BitVM2 pekade på en lovande riktning, vilket gör det möjligt i princip att hålla tung beräkning borta från Bitcoin samtidigt som vem som helst kan ifrågasätta felaktiga resultat. Hindret var alltid utplacering. Riktiga verifieringskretsar är extremt stora, och publicering av exekveringsspår eller naiva bedrägeribevis skulle snabbt överväldiga Bitcoins blockutrymme. GOAT förfinar och optimerar BitVM2 för att övervinna dessa begränsningar, och flyttar designen från teori till praktisk användning.