BitVM2 指向了一个有前景的方向，原则上使得在不影响 Bitcoin 的情况下进行重计算成为可能，同时仍然允许任何人挑战不正确的结果。障碍始终是部署。 真实的验证电路非常庞大，发布执行轨迹或简单的欺诈证明会迅速淹没 Bitcoin 的区块空间。 GOAT 精炼并优化了 BitVM2，以克服这些限制，将设计从理论推向实际部署。