最近，一个号称首个采用ZK-Rollup方案的比特币Layer-2项目——Citrea——在即将上线测试网之际，引发了社区的广泛讨论。Citrea团队的宣传策略被指夸大了项目的实际进展，在此背景下，深入研究Citrea和BitVM变得尤为重要。
ZK-Rollup技术在以太坊Layer-2上取得了显著成功，促使许多项目寄希望于将其应用于比特币Layer-2。然而，由于比特币网络并不支持复杂的验证逻辑，这一愿望目前尚未实现。因此，许多声称使用零知识证明技术的比特币Layer-2项目实际上采用了一种名为“主权Rollup”（Sovereign Rollup）的方案。
主权Rollup的核心原理
简而言之，主权Rollup的关键在于比特币网络仅负责将重要的承诺信息以铭文形式存储，而验证过程则完全在链下进行，即通过客户端验证。这样一来，比特币网络中的数据对不了解规则的参与者而言毫无意义，但对了解这些数据用法的用户来说，任何人都可以自行搭建节点。因此，主权Rollup在保护数据最终性以及实现去中心化解释方面具有积极意义。
虽然看似是一种妥协，但实际上，许多支持者认为比特币不必完全模仿以太坊的路径。比特币网络的设计理念强调简洁和效率，而非强制所有Layer-1节点进行验证。因此，主权Rollup的出现反映了一种基于比特币特点的创新。
BitVM的独特定位
BitVM提出了一种在比特币Layer-1上进行ZKP验证的方案，但最终仍依赖于乐观Rollup进行执行。虽然其早期设想过模拟CPU以实现广泛计算，但目前的发展路径更加务实，即通过组合比特币的Opcode来实现更复杂的计算功能。这些基础操作为构建更高级的ZKP提供了可能性。
当前，BitVM已经取得了一些重要进展，如基于Groth16的验证函数构建，距离构建可用的ZKP已经不远。然而，尽管成果喜人，BitVM尚未完全商用，这使得像Citrea这样声称采用BitVM的项目，更多是处于“将会采用”的阶段。
Citrea的现状与挑战
经过分析，Citrea目前仍是一个典型的主权Rollup，并未实现与以太坊Layer-2等效的zk-rollup。Citrea的核心组件Clamentiane仍在开发中，当前只能将账户状态保存为默克尔树根，并通过铭文记录在比特币上，验证过程依然依赖链下节点。因此，Citrea目前的设计仍未脱离主权Rollup的框架。
此外，Citrea使用了RISC0提供的SDK作为其ZKP和zkEVM部分的构建基础。RISC0作为一种新兴的ZKP解决方案，与Cairo有着类似的愿景，通过构建zkVM来实现通用计算。这种通用计算+zkVM的模式，因其效率和经济性，正在逐渐成为比特币Layer-2的首选。
结论
尽管Citrea最近的争议引发了广泛关注，但其团队明确表示对BitVM的兼容尚未完成，这意味着完全继承比特币安全性的Rollup尚未出现。尽管如此，比特币Layer-2领域仍在不断创新，项目如Bitlayer、Alpenlabs、BVM network等正在推动zk-rollup的进展，这些都值得我们持续跟踪与分析。