比特币支持ZK验证功能的两种路径

比特币作为一个社会系统长期稳定运行,源于人们在关键问题上达成的某种共识。然而,比特币仍存在一些问题亟待解决,如交易手续费昂贵、匿名性不足等。为改进这些问题,有两种可能的路径:

1. 让比特币脚本直接支持SNARK验证。这需要借助OP_CAT操作码,而OP_CAT很可能最终会被通过。OP_CAT是一个简单但功能强大的操作码,可以让比特币脚本变得更强大。它能够支持验证Merkle证明,有助于验证基于FRI的SNARK。虽然OP_CAT的启用可能会影响某些人的MEV收益,但社区对其达成共识的可能性较大。

2. 基于BitVM的方案。BitVM使得比特币可以验证任何计算任务,是无需变更协议来实现SNARK验证的最佳路径。它通过Taproot MerkleTree脚本结构和KV存储方案绕开了比特币区块对脚本大小的限制。BitVM需要通过欺诈证明来检查恶意行为,如果发现问题可以取走事先质押的资产。

此外,ZeroSync团队提出的Chain State Proofs也是一个值得关注的技术。它结合ZK,可以证明区块哈希的有效性,大幅降低运行节点的成本。这项技术不仅可以压缩比特币历史数据的同步与验证工作量,还是BitVM实现的重要组成部分。

无论选择哪种方案,比特币社区的最终目标都是让产品变得更加实用,支持更多可落地的场景。尽管这些改进不会在短期内实现,但它们代表了比特币未来发展的重要方向。