O BitVM2 apontou para uma direção promissora, tornando possível, em princípio, manter cálculos pesados fora do Bitcoin, enquanto ainda permite que qualquer pessoa desafie resultados incorretos. O obstáculo sempre foi a implementação. Os circuitos de verificação reais são extremamente grandes, e a publicação de rastros de execução ou provas de fraude ingênuas rapidamente sobrecarregaria o espaço de bloco do Bitcoin. O GOAT refina e otimiza o BitVM2 para superar essas limitações, movendo o design da teoria para a implementação prática.