BitVM2 menunjuk ke arah yang menjanjikan, sehingga pada prinsipnya memungkinkan untuk menjaga komputasi berat dari Bitcoin sambil tetap memungkinkan siapa pun untuk menantang hasil yang salah. Hambatannya selalu penyebaran. Sirkuit verifier nyata sangat besar, dan menerbitkan jejak eksekusi atau bukti penipuan naif akan dengan cepat membanjiri ruang blok Bitcoin. GOAT menyempurnakan dan mengoptimalkan BitVM2 untuk mengatasi kendala ini, memindahkan desain dari teori ke penerapan praktis.