在比特币上构建是非常困难的，但有许多项目正在进行。 一些人认为 真正的比特币Rollup在没有对比特币核心进行软分叉的情况下是不可能的，从而实现了在L1上验证Rollup证明所需的操作码。
对于今天存在的项目，更准确地描述这些项目可能是BitVMRollup，其中 BitVM用于验证证明。无论如何，比特币Rollup激发了比特币构建者的想象力，并激发了许多团队更加深入地研究比特币层面。
这个列表远非全面，但让我们看看一些为比特币Rollup做出贡献的团队。
按字母顺序排列：
BitVM是一个于2023年10月发布的R&D项目，由ZeroSync团队的RobinLinus撰写的白皮书推出。BitVM不是比特币Rollup，而是一种方法，可以在不需要对比特币本身进行任何更改的情况下，将表达逻辑直接引入比特币。这种逻辑可以用于构建Rollup，也可以用于一系列其他用例。
BitVM的核心思想是将计算转移到链下，并使用链上欺诈证明机制。比特币脚本非常简单，因此要运行更高级的程序，你需要将它们运行在链下，并以某种方式证明计算是正确的。
为了验证计算，BitVM使用了类似于乐观Rollup的方案：一个声明者（在链下执行计算的人）对计算结果提出主张。如果这一主张受到质疑，验证者可以在比特币区块链上对其进行挑战。在这种方案中，比特币区块链仅用于争议解决。
BitVM在比特币社区中引起了很多兴奋，原因是它极大地减少了构建比特币层面所涉及的信任假设。大多数现有的比特币层面方法都假设存在诚实的多数派来防止所谓的51%攻击。BitVM引入了诚实的少数派模型，这意味着只要有一个参与者是诚实的，你就可以防止恶意行为者破坏系统。
BitVM可以整合到许多现有的比特币层面中，不仅仅是Rollup，还可以为这些层面带来更多功能和去中心化。目前尚无主网时间表，但许多开发人员正在积极开发该协议。
BOB（BuildonBitcoin的缩写）是一个具有EVM兼容性的比特币L2。BOB采用Rollup设计，使其能够连接到以太坊，同时由比特币进行安全保障。BOB起源于Interlay生态系统，后者又起源于Polkadot和Cosmos。Interlay于2022年8月推出了iBTC，一个最小信任的比特币锚定。
BOB的目标不仅是支持比特币锚定，还包括Ordinals、Lighting和其他用于比特币DeFi的构建模块。Bob正在使用 OptimismStack ，包括 RiscZero 正在进行的ZK工作，并且长期希望通过ZK验证器直接在比特币L1上结算。在中期，他们正在研究在比特币L1上使用类似BitVM的机制的乐观Rollup设计，以实现链上欺诈证明。BOB目前在公共测试网上。
来源：BOB文档
Citrea是由 Chainway 开发的新的比特币乐观主权Rollup，于2024年2月刚刚宣布。根据有限的文档，该协议计划直接在比特币上铭刻状态变化的证明，这将允许任何拥有比特币节点的人验证Citrea并仅使用比特币L1检索整个Rollup状态。
该项目计划使用BitVM 作为结算层，在比特币L1上验证证明。作为一个主权Rollup，Citrea打算利用比特币进行数据可用性（ 请查看此处的GitHub存储库 ），并且没有单独的矿工网络或代币。重要的是，Citrea是与EVM兼容的，开发人员可以在使用Chainway构建时使用以太坊工具，这使得开发人员可以轻松地将以太坊生态系统的一些创新移植到比特币上。
来源：CitreaTwitter
BitcoinOS是 Sovryn 的一个新项目，Sovryn是一个于2019年推出的以Rootstock为背景的DeFi社区。Sovryn应用程序实现了非托管、无权限的交换、交易、借贷、流动性挖矿等功能。Sovryn正在利用DeFi专业知识构建BitcoinOS，该项目将实现一系列使用相同模块化部件的Rollup的超级链。
他们的愿景是创建一个Rollup网络，其中每个Rollup都可以拥有自己的执行环境，同时与其他Rollup保持互操作性。该设计使用了一个共享的压缩、聚合和结算层（称为CASTL），允许任何Rollup上的应用与另一个Rollup上的应用兼容，从而创造跨Rollup的流动性。BitcoinOS目前正在开发中，测试网计划于2024年第三季度推出。BitcoinOS希望在2024年第四季度不久后推出主网。
Rollkit于2023年2月推出，作为主权Rollup的模块化框架，该项目由 Celestia 团队开发，这是一个专门从事数据可用性解决方案的模块化EVM区块链。推出后不久，Rollkit 宣布支持比特币。
该设计使用比特币进行共识和数据可用性，并通过Taproot交易存储数据，同时在链下处理执行。使用这种模型，团队能够在比特币测试网上运行EVM作为主权Rollup的演示 。根据Rollkit的网站，比特币支持尚未准备就绪，此集成仅应用于实验和研究。
ZeroSync正在积极研究比特币的零知识证明系统。虽然该项目尚未宣布推出Rollup的计划，但他们的研究可能为有效性Rollup、无信任双向锚定或完全私密交易铺平道路。到目前为止，他们正在研究三种类型的证明，前两种已成功进行了原型设计。按照复杂性递增的顺序，这些证明是：
这些证明可以帮助构建者立即同步比特币的链状态，并为比特币启用zk-proof轻客户端，这将使用户能够在更轻的软件上运行完整的比特币节点，甚至可能是手机。随着时间的推移，ZeroSync计划将ZKP验证器整合到比特币L1中。
ZeroSync是使用StarkWare的Cairo编程语言构建的，这是以太坊Rollup研究渗透到比特币Rollup中的另一个例子。StarkWare 是一家在以太坊生态系统中开发零知识技术的公司，ZeroSync是第一个在EVM世界之外使用Cairo的项目。
比特币Rollup领域的创新并未在本文中完全涵盖。欲了解更多信息，请查看JohnLight关于比特币Rollup的研究 。
比特币生态系统发展迅速，很难跟上，我想在6个月后会回来更新这篇文章，因为比特币Rollup的格局将完全不同。这就是创新之美。
以上就是科普：什么是比特币 Rollups？的全部内容，望能这篇科普：什么是比特币 Rollups？可以帮助您解决问题，能够解决大家的实际问题是非常好学习网一直努力的方向和目标。