BitVM2 ukázal na slibný směr, který v zásadě umožnil udržet těžké výpočty mimo Bitcoin a zároveň umožnit komukoli napadnout chybné výsledky. Překážkou bylo vždy nasazení. Skutečné ověřovací obvody jsou extrémně rozsáhlé a publikování stop vykonání nebo naivních důkazů o podvodech by rychle zaplnilo blokový prostor Bitcoinu. GOAT zpřesňuje a optimalizuje BitVM2, aby překonal tato omezení, čímž posouvá návrh od teorie k praktickému nasazení.