Blockworks 称，比特币目前缺乏与以太坊类似的真正的第 2 层网络，主要是因为现有的扩容解决方案没有继承比特币的安全模型。将交易数据发布到以太坊主网的以太坊汇总直接利用了其安全性，确保这些层上的交易正确执行由保护基础层的相同机制保护。相比之下，比特币的“第 2 层”解决方案（例如 Liquid Network 和 Rootstock (RSK)）在技术上是侧链。它们独立于比特币运行，使用自己的一组验证器或矿工。虽然它们可能与比特币共享挖矿哈希率或检查点快照，但它们从根本上提供了不同的安全性级别。像 BitVM 这样的创新可以改善与比特币的信任最小化桥接，但为了在比特币上实现真正的第 2 层解决方案，协议升级是必要的。这些升级将引入契约（限制 BTC 使用方式的机制），从而实现安全、信任最小化的互操作性，并允许比特币支持与以太坊类似的强大第 2 层基础设施。

StarkWare 周三宣布，他们使用新的 STARK 验证器在比特币测试网络 Signet 上成功验证了第一个零知识证明，这是一个重要的里程碑。这一成就是在对 OP_CAT（一种拟议的比特币升级）的潜力进行三个月的研究之后取得的。StarkWare 在一份声明中表示，StarkWare 的验证器是与风险投资公司 L2 Iterative 的 Weikeng Chen 合作开发的，是该操作码的首次大规模实际应用。它展示了为比特币基于零知识证明的第二层解决方案的开发提供支持的潜力。该公司表示：“这种验证方法与比特币网络上其他扩容解决方案已经在探索的方法完全不同，因为它不需要使用欺诈证明或活性。”并补充说，验证器的代码已经通过 Github 发布。

陈指出，这项研究具有开创性。他说：“我们从零开始。没有关于比特币零知识证明或必要数学运算的信息。我们必须构建完整的堆栈，才能实现 STARK 验证器。” 新的验证器采用 Circle STARKs——加密证明，可显著加快证明过程。它们还将用于 StarkWare 的下一代 STARK 证明器 Stwo。当前演示仅验证离散数学问题的解：斐波那契平方数列中的第 32 个数字——或 21,783,0922——但该团队计划继续展示最终可能成为虚拟机基础的广泛计算。在此之前，想要参与 DeFi 的比特币持有者可以通过一系列其他方法来实现，这些方法旨在将 BTC 引入其他网络，每种方法都有自己的权衡。