Citrea：比特币ZK Rollup方案

在拥挤的 Bitcoin Layer 2 赛道中，Citrea 获得了 Founders Fund 的支持。本文报告将探讨原因。

核心要点

• 大多数 Bitcoin L2 实际上并没有使用 Bitcoin 的安全性。Citrea 通过 ZK proofs 和 BitVM 做到了，Bitcoin 直接验证 state。
• Founders Fund 有识别独特技术的记录（SpaceX、Palantir）。在 Bitcoin L2 最令人失望的时候选择 Citrea，遵循了同样的技术信念模式。
• Citrea 团队没有显赫的履历。但他们是最早在 production 中验证 Bitcoin 上 ZK 技术的团队，并且在大多数 Bitcoin L2 还没有做到时就发布了 mainnet。
• 技术验证已经完成。剩下的挑战是给 EVM 生态用户一个理由，让他们在 Bitcoin 上使用相同的 services。激进的用户获取将是下一步。

1. L2 怀疑论 vs. Citrea：为什么 Thiel 选择了后者

Bitcoin 的市值已经超过 2 万亿美元。然而，当被问到这笔资本实际能做什么时，答案并不清晰。“让这笔资本运转起来。利用 Bitcoin 的安全性。” 这是 Bitcoin L2 热潮背后的反复出现的逻辑。

但由这一逻辑催生的数十个项目中，今天真正有效运行的却寥寥无几。需求很明确；结果却不是。

在这样的背景下，@peterthiel 的 @foundersfund 投资了 @citrea_xyz，选择了一个能够构建 Bitcoin 上第一个 ZK rollup 的团队，而不是又一个营销噱头。这是在 Bitcoin L2 技术前沿上的高信念下注，恰好发生在更广泛的市场对其最为怀疑的时候。

2. 为什么 Thiel 选择 Citrea

Founders Fund 有着押注他人不敢押注的独特技术的记录。LPs 曾称 SpaceX 的投资“疯狂”。Kleiner Perkins 的一位合伙人曾在 Palantir 的 pitch 时直接离场。Citrea 的投资遵循了同样的技术信念模式。

当 Bitcoin L2 赛道中的许多项目都把重点放在营销而不是过度设计的 sidechains 上时，Citrea 专注于“从 0 到 1”的问题，真正把零知识技术带到了 Bitcoin 上。在 Bitcoin L2 情绪最低迷的时候，Founders Fund 做出了行动。

对于合伙人 Joey Krug 来说，Citrea 代表着“Bitcoin L2 领域最强的团队和技术架构”。

作为该机构在 Bitcoin 生态中的首次投资，这一举动并不是为了追随趋势；而是为了支持唯一一种能够让 Bitcoin 价值 2 万亿美元的资本最终变得可编程的设计。

2.1. 一支证明了自己 ZK 资历的团队

在 Bitcoin 上开发之前，这个团队推出了 “Proof of Innocence”。2022 年，美国财政部因洗钱问题制裁了 Tornado Cash。连带影响立刻出现。与非法活动没有任何关联的无辜用户也被同样对待。

该团队使用 ZK proofs，让用户在不暴露身份的情况下证明自己的钱包与被制裁地址没有关联。RAILGUN DAO 集成了该协议。@VitalikButerin 也公开提到了它。

这些创始人都不是来自大厂或知名协议。但他们推出了一个在 production 中真正可用的 ZK 产品，并获得了外部验证。Founders Fund 对“最佳团队”的判断并非没有依据。

2.2. 用 ZK 解决 Bitcoin L2 的核心问题

Citrea 利用 ZK 技术解决了 Bitcoin L2 的核心难题，即在运行其上层服务的同时，使用 Bitcoin 的真实安全性。

大多数 Bitcoin L2 都把安全性交给少数 signer。可以把它想象成一个由 5 个钥匙持有人共享的 vault，其中任何 3 个都可以授权一次提款。这个模型很快，也很实用。但它并没有完全继承 Bitcoin 的安全性。它依赖少数几个人的诚实。

大多数 Bitcoin L2 在结构上并没有显著偏离这一模式。设计细节各不相同，但对少数 signer 组的依赖在整个赛道中都保持一致。

Citrea 构建了一个 1-of-N 系统，只需要其中一位诚实参与者即可。举例来说：当用户尝试从 Citrea 提取 Bitcoin 时，有四个角色负责这个过程。

• Signers：在任何请求发出之前，先以加密方式锁定提款条件。一旦设定，条件不可更改，从而防止 Operators 操纵退出。
• Operators：只能在 Signer 定义的限制内处理提款。必须预先提交抵押品，并提交有效性的加密证明才能取回抵押品。
• Watchtowers：同时监控 Citrea 和 Bitcoin。如果 Operator 试图进行欺诈性提款，Watchtowers 会捕获证据并将其传递给 Challengers。
• Challengers：使用 Watchtower 的证据在 Bitcoin 上使欺诈性提款失效。一旦确认欺诈，Operator 的抵押品将被没收。

只要这四类参与者中的任何一方保持诚实，系统就能成立。还有一个挑战仍然存在。Bitcoin 的基础层并不是为复杂计算而构建的。加密证明验证和争议解决如何在其之上运行？

ZK 技术和 BitVM 使这一切成为可能。它们让加密证明验证和争议解决能够直接在 Bitcoin 上进行。这项独特技术正是 Founders Fund 所押注的对象。

3. Citrea 实际是如何运作的

以下是上文所述架构在实践中的体现。系统由三个组件驱动。

1. ZK Rollup：压缩交易数据并将其发布到 Bitcoin 上
2. BitVM：支持 optimistic 的 Bitcoin 原生验证
3. Clementine：Citrea 基于 BitVM 的 Bitcoin bridge

3.1. ZK Proof：成千上万笔交易，一个证明

想象一家公证处。将成千上万份合同逐一公证既耗时又耗钱。于是，一位律师（Citrea）审查所有合同，并提交一份单一认证，声明“这些合同全部有效”。公证处（Bitcoin）只需要审查这一份文件。快速、便宜，而且最终记录仍保存在公证处。

这份认证就是 ZK proof。Citrea 在链下处理成千上万笔交易，通过 zkEVM 生成一个 ZK proof，并将其记录在 Bitcoin 基础层上。任何运行 Citrea 和 Bitcoin 节点的人都可以验证 Citrea 的 state 是正确的。

3.2. BitVM：无需修改规则

还有一个问题。Bitcoin 并不是为验证复杂 ZK proofs 而设计的。它的 scripting language 只能处理基本的交易条件。直接在 Bitcoin 上运行复杂计算几乎不可能。

Citrea 通过 BitVM 解决了这一问题。可以把它想象成公证处里的一个上诉窗口。在正常运行时，ZK proofs 会按提交内容被接受。如果有人质疑某个 proof 无效，Bitcoin 就会介入并直接验证。只有在发生争议时才运行计算，而不是默认运行。Bitcoin 的 consensus rules 保持不变。

3.3. Clementine：只需要一个诚实参与者

bridge 是任何 Bitcoin L2 中最薄弱的环节。如果资金在 Bitcoin 和 Citrea 之间传输过程中被盗，整个架构就失去了意义。Citrea 的 bridge，Clementine，则采用了不同的方法。

该安全模型只要求 N 个参与者中有一个诚实者。如果 operator 试图作恶，Challenger 会使用 Watchtower 发布的 header-chain proof 直接在 Bitcoin Network 上发起 challenge transaction，而 operator 的抵押品将被 slash。除非所有参与者同时被攻破，否则资金无法被盗。标准 multisig bridge 在 2-of-3 同意时转移资金，而 Clementine 只要有哪怕 1 个诚实参与者在监控，就能保证资金安全。

结果就是：攻击 Citrea 意味着攻击 Bitcoin 本身。这需要获取超过一半的总 hashrate，才能在 dispute window 持续期间审查 challenge，这与针对一个小规模 signer 组的威胁模型完全不同。

4. 当下的 Citrea

大多数项目都是先进行 TGE，再推出 mainnet。testnet 提供了一个即便失败也不会有后果的空间。这种模式很常见：先出售愿景，再推迟技术。mainnet 则不同。真实资金、真实交易、真实责任。

Citrea 反其道而行之。mainnet 先于 TGE 上线，同时推出了 cBTC（桥接到 Citrea 的 BTC）和 ctUSD（Citrea 原生 stablecoin），上线时已有 40 多个应用在运行。其中，@SatsumaDEX、@signalswtf、Zentra、Crest、以及 @cellfi_xyz 都是 Citrea Origins program 的一部分，这是一项由 Citrea 团队直接支持的计划。

与大多数专注于 staking 和 yield 的 Bitcoin L2 不同，Citrea 直接支持 DEX、prediction markets、money markets、privacy transactions 和 payments 领域的 builder。

其意图很明确：扩展 Bitcoin L2 实际能做的事情，并构建真实 utility。

话虽如此，Citrea 仍处于早期阶段。

TVL 约为 $6M，尽管 testnet 活动吸引了 33,000 名参与者，但即便有新的 mainnet campaign，这一势头尚未延续到 mainnet。该网络上线还不到三个月，且包括 Morpho vaults 在内的关键服务也是最近才推出。

Citrea 的长期愿景是成为 Bitcoin 应用（₿apps）的家园，构建一个远超 staking 和 yield 的生态系统。雄心很明确，但用户获取仍在进行中。

5. 设计 vs. 现实

Web3 充斥着兜售理想的项目。去中心化。抗审查。金融主权。听起来很容易点头赞同。难的是打开你的钱包。

Citrea 的技术论证是成立的。一个 Bitcoin L2 应该真正使用 Bitcoin 的安全性。2 万亿美元的闲置资本。ZK 是通往那里的唯一道路。Founders Fund 认同这一点，Citrea 也推出了 mainnet。这使它与那些只会说的项目区别开来。

更难的问题接踵而至。大多数 Bitcoin 持有者并没有不舒服。持有本身就很好用。“Built on Bitcoin” 并不能打动普通用户。安全的基础设施是必要条件，但不是充分条件。

Citrea 现在需要的不是更多技术证明。它需要让用户在 Arbitrum 上、在 Base 上做的事情，在 Bitcoin 上也能更好地实现。这正是 Origins 项目的任务。DEX、money markets、privacy transactions、prediction markets。如果这些应用无法吸引用户，那么基础设施就仍然只是基础设施。

基础已经铺好。高速公路已经建成，信号灯也已立起。现在需要汽车开进来。无论道路铺得多好，没有车流，它就只是一片空荡的沥青。

Citrea 的下一个挑战不是修更好的路，而是找到司机。

• 原文链接： x.com/tigerresearch/st...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～