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