O BitVM2 apontou uma direção promissora, tornando possível, em princípio, manter a computação pesada fora do Bitcoin, ao mesmo tempo em que qualquer pessoa conteste resultados incorretos. O obstáculo sempre foi a implantação. Circuitos reais de verificadores são extremamente grandes, e publicar rastros de execução ou provas ingênuas de fraude rapidamente sobrecarregaria o espaço de blocos 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.