在这篇文章中，我们探讨了创新的加密项目Citrea，该项目正在利用零知识证明技术和BitVM堆栈，在比特币区块链上构建ZKrollup扩展解决方案。
这种称为“零知识汇总”的第二层网络，可以显著提高比特币的可扩展性和互操作性，类似于以太坊的运作方式，将更多的数据和交易包裹在其外部，然后将一个批次返回到主链，作为数据可用性层（DA）。
让我们详细看看 Citrea 的运作方式以及它如何提升 Bitcoin 的表现。
Summary
Citrea 正在准备在比特币区块链上推出第一个 ZKrollup：互操作性和可扩展性的优势
Citrea 是第一个基于比特币区块链构建的 ZKrollup，由开发者 Orkun Kilic 设计，他结合了零知识计算证明的概念和 BitVM 的基本思想，正在尝试改进第一个加密网络的可扩展性和互操作性。
在最近接受Bitcoin Magazine的采访中，Orkun 解释了他推动将 ZKproofs 引入一个如此“过时”的区块链的动机，该区块链在区块大小和脚本能力方面存在很大限制。
开发者认为，比特币在 抗审查和加密安全性 方面提供了最佳的基础设施，并且由于 SegWit 和 Taproot 提供的历史性代码更改，终于可以在单个交易中 记录 数据，使用网络作为数据可用性层。
这是Orkun在采访中的话：
“你今天用比特币除了简单支付之外能做的事情非常有限。我们希望利用比特币区块空间的安全性做更多的事情。”
就像在Ethereum上发生的一样，模块化的概念可以解决像Bitcoin这样在可扩展性和外部互操作性方面表现有限的区块链问题。
ZKrollup 有助于消除部分计算工作 的基础设施将交易处理移出主网，将数据包装成一个单一的批次，然后再发送回去，从而减少验证的时间和成本。
构建一个rollup，开发人员可以定制自己的堆栈来创建各种应用程序，如支付rollup、游戏rollup和EVM rollup。这种灵活性允许不同的优化，可以在不需要修改主协议的情况下扩展区块链。
尽管有这些优势，但也存在一些限制：事实上使用比特币作为数据可用性层，（这种做法源自BitVM的概念）需要结构性妥协，因为比特币链在执行此类操作时成本高且效率低下。
让我们在下一段具体看看这些妥协是什么，以及Citrea如何成功将zkrollup集成到Bitcoin的区块链中。
与此同时，Citrea 刚刚为开发者和用户推出了 public devnet，这是 Bitcoin 作为 DA 层使用和扩展到新加密领域的历史性一步。
安全性和信任最小化：聚合zk-proofs的第一步
在比特币区块链上实施ZKrollup，虽然保证了前所未有的安全性，但同时在可扩展性方面比其他基础设施要低，并且在链上架构层面存在一些限制。
因此，仅在绝对必要时才将比特币用作 DA 层（当需要最高安全性时），而对于需要高吞吐量和低成本的应用程序，最好使用其他层，例如 Celestia。
此外，与EVM的不兼容性在需要将货币转移到比特币之外时会造成一些问题：Citrea通过“Clementine”解决了这个问题，这是一个基于BitVM的双向锚点，能够乐观地验证ZK证明。这个机制聚合了比特币的证明，减少了频繁结算的需求。
使用Clementine，可以方便且安全地验证ZK证明，提供一种可扩展性和互操作性的解决方案，将zk证明聚合到单个批次中。
Clementine背后的主要思想是为ZK rollup提供乐观的结算，因为在每个区块上稳定所有批次在比特币上是一种非常昂贵的做法。 因此，通过定期记录数据和聚合证明，Clementine确保状态保持准确和安全。
最初，直到从L1到L2的数据传输和同步变得更加经济之前，有必要引入一个外部信任层，但尽量将其最小化：这就是“最小化信任”的概念。
在Citrea的这些早期开发阶段，外部操作员将最初用自己的钱满足用户的提款请求，然后将必要的证明聚合成一个单一的网络展示。如果其他操作员怀疑该主体正在进行不诚实的行为，他们可以对发送进行质疑并将其从网络中移除。
这种配置引入了一个由信任最小化的假设，即只有一个参与者必须诚实才能保证sicurezza。
对此，Orkun 强调：
“这是对传统模型的显著改进，传统模型需要多数共识来确保安全。”
Citrea 的下一步是引入 volizione，即一种平衡链上安全性与链下成本效率的混合模型，允许各种应用程序根据特定需求选择最合适的数据存储方法。
Orkun 完成了对 Coindesk 的采访，强调了将 Bitcoin 用作数据可用性的结算层如何为矿工提供强大的激励，以 bull 和 bear 看到 佣金 增加以确保长期安全。
