BitVM2 wies in eine vielversprechende Richtung, die es prinzipiell ermöglicht, schwere Berechnungen von Bitcoin fernzuhalten und gleichzeitig jedem zu erlauben, falsche Ergebnisse anzufechten. Das Hindernis war immer die Bereitstellung. Echte Verifikationsschaltungen sind extrem groß, und die Veröffentlichung von Ausführungsnachweisen oder naiven Betrugsbeweisen würde schnell den Blockraum von Bitcoin überwältigen. GOAT verfeinert und optimiert BitVM2, um diese Einschränkungen zu überwinden und das Design von der Theorie in die praktische Bereitstellung zu bewegen.