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