BitVM2 指向了一個有前景的方向，原則上使得在不影響 Bitcoin 的情況下進行重型計算成為可能，同時仍然允許任何人挑戰不正確的結果。障礙始終是部署。 真正的驗證器電路非常龐大，發布執行痕跡或天真的欺詐證明會迅速壓垮 Bitcoin 的區塊空間。 GOAT 精煉並優化了 BitVM2，以克服這些限制，將設計從理論推向實際部署。