BitVM2 указал на многообещающее направление, в принципе позволяя держать тяжелые вычисления вне Bitcoin, при этом позволяя любому оспаривать неверные результаты. Препятствием всегда было развертывание. Настоящие схемы проверки крайне велики, и публикация следов выполнения или наивных доказательств мошенничества быстро переполнит блок-пространство Bitcoin. GOAT уточняет и оптимизирует BitVM2, чтобы преодолеть эти ограничения, перемещая проектирование от теории к практическому развертыванию.