引言
近日，比特币 L2 项目 Bitlayer Labs 完成了 1100 万美元 A 轮融资，由Franklin Templeton、ABCDE 和 Framework Ventures 联合领投。与此同时，Bitlayer 成为了首个获得 ETF 许可机构投资的比特币基础设施项目。
Bitlayer 是一个 BTC 的 L2 项目，初衷是提高BTC的扩展性，解锁其生态的潜力。在项目特色上，Bitlayer 是第一个基于 BitVM 的 L2，同时也是第一个完全继承了BTC安全性并且图灵完备的 L2。
1、BTC L2 现状
BTC L2 的本质是跨链桥，目前 L2 项目方的跨链桥方案各有各的特色，但是站在技术角度来看，大多数跨链桥方案的本质是多签。
多签方案其实存在严重的信任问题，目前因为多签导致的资金被盗事件屡见不鲜。
笔者认为，L2 作为 L1 的补充，不应该只局限于生态的扩展，同时应该继承 L1 的安全性。
Bitlayer 作为第一个基于 BitVM 的 L2，实现了信任最小化，对安全性和扩展性实现了很好的平衡。接下来不妨跟随十四君的技术视角，探索 Bitlayer 是如何作为 L2 扩展 BTC 的同时又兼顾安全性的。
2、Bitlayer-兼顾安全性和扩展性的 L2
2.1 Bitlayer 的基本架构
Bitlayer的基本架构如下图所示（参考 Bitlayer 白皮书，见附录）。
可以看到 Bitlayer 的业务流程主要可以划分为三个阶段，分别是交易处理阶段、交易验证阶段、最终验证阶段。每个阶段交互的组件与其大致的处理流程如下表所示：
让我们一起来拆解 Bitlayer 的核心流程。
2.2 交易处理阶段-分层虚拟机 LVM
在 L2 的交易处理阶段，有排序器与 LVM（分层虚拟机）两个组件。
排序器不多赘述，Bitlayer 中的序列器负责收集缓存的交易并对其进行排序，是 Bitlayer 中交易的入口点。
LVM 是 Bitlayer 的计算组件，功能职责是负责执行智能合约并生成最新状态和零知识证明。
什么是分层虚拟机？
要解答这个问题，我们直接看下图（参考 Bitlayer 白皮书，见附录）。
与常规印象的 VM 不同，Bitlayer 的 LVM 实现了前端智能合约的执行与后端的零知识证明器的解耦。VM与零知识证明器以组件的形式存在于LVM。这种创新使得 Bitlayer 可以扩展支持各种合约类型，以及各种零知识证明验证器，大幅提高了系统的扩展性与安全性。
2.3 交易验证阶段-基于 ZKP 的 OP 桥
在交易的验证阶段，其实上就是 L1 与 L2 的交互阶段。当资产以交易的形式在 L1 与 L2 进行流动时候，我们面临着经典的 L2 跨链问题：L2 如何继承 L1 的安全性？
经典的 L2 跨链问题：L2 如何继承 L1 的安全性？
其实在 ETH 上，已经有非常成熟的方案了，目前主流的、安全性有保障的主要是 ZK 桥以及 OP 桥，两者的对比参考下表：
ZK 桥本身因为无需信任其实是目前安全性最高的跨链桥方案，OP桥通过欺诈证明对无效的跨链数据进行链上挑战（1-N的安全模型），保证跨链数据的安全。看起来，ZK桥比 OP桥要更安全，但实际上，Bitlayer 核心依赖的 BitVM 选择的是 OP 桥。
为什么是 OP 桥？
主要原因还是技术上的限制，目前只能实现BTC L1→ L2 存款方向的 ZK 桥，对于L2 →BTC L1上提款，目前只支持多签桥或OP桥。Bitlayer 出于安全考虑，选择了更安全的OP桥，这其实是一种折中的选择。
Bitlayer 跨链桥方案是 BitVM桥 + OP-DLC桥组合的形式，OP-DLC桥是对BitVM桥的补充。
BitVM &&OP-DLC 双组合桥流程解析
Bitlayer 使用 Bitvm 桥保障安全性，同时补充 OP-DLC 减少了对 BitVM 的依赖。截止目前，BitVM 桥已经经历了几番升级，实现了纯理论到可实践的飞跃。
BitVM 桥的最新的流程图如下：
在整个流程中，一共有5个角色。
这种模式如何理解？
从模式上来看，BitVM 桥基于先垫付、再报销模式，Operator 节点为提款用户垫付资金，定期向公共存款地址申请报销，通过利用差价（来自提现用户的手续费）赚取费用。
如果 Operator 作恶谎报交易数据，可以被任何人挑战并受到惩罚。
那么安全性有保障吗？
我们都知道，跨链资金转移的时候，依赖的是公共资金池（本质上是用户锁定的资产），资金池的安全问题是所有跨链桥要解决的核心问题。
传统的 BTC L2 方案一般是通过多签的形式进行公共资金池管理，这种方案显然存在信任风险。而 BitVM 桥采用的是类似闪电网络的思想，预指定资金可以被谁拿走。当用户把资金锁到公共资金池的时候，会与联盟进行通讯，使得资金锁在一个Taproot地址上，只能由 Operator 领取，Operator 只有在垫付完成，提供自己垫付的证明到链上，并且被挑战无误后，才能解锁相关的资金。
可以说，BitVM 桥通过引入 Operator 实现了资金池的拆分，这个思路确实新颖。根据以往的经验，我们会惯性地思考如何实现去中心化的资金管理手段，但忽略了资金池这个概念本身就是中心化的，BitVM桥通过资金池去中心化，从源头提升了链桥的安全性。
那么有什么不足之处？
但是，没有方案是十全十美的，总会有一些不尽人意的地方。
细心的朋友会发现，BitVM 桥这种 operator 先预付资金给用户再从公共账户报销形式，类似于资金池的形式。一个池子是公共账户（也就是用户真实锁定的资产，负责直接 给 operator 进行报销），一个池子是 operator 构成的池子，用来直接垫付用户的提现需求（这个池子是虚拟的，分散在不同的 operator 身上）。
用户发起提现的时候是直接与 operator 进行资金往来的，这就相当于，operator 的最终资金变成了资金池的资金 。
提现用户的资金经过了 operator 这一第三方，资金来源已经不是资金池了，与此同时还混杂着别的用户的资金。
受限于这种资金池模式，对于一些资金来源很看重的用户，BitVM 桥其实不能满足其对资金的独立性需求 。
针对这个问题同时减少对BitVM桥的过度依赖，Bitlayer 增设了 OP-DLC 的桥接方案，类似管道的思想，实现用户P2P的交易，OP-DLC桥的安全性依赖于欺诈证明以及第三方预言机。
可用性上又如何呢？
BitVM桥的安全性毋庸置疑，但是可用性问题需要持续建设，比如，根据 BitVM 预期，需要大量联盟成员全部在线并正确进行预签名，才能确保流程的正确进行，这其实是一个挑战。
3.总结
在架构上，Bitlayer 的 LVM 实现了智能合约执行与零知识证明的解耦，这其实是一种前瞻的设计思想，使得 Bitlayer 在未来适配各种 VM 以及零知识证明器成为可能。
在跨链桥的技术选型上，Bitlayer 的 BitVM + OP-DLC的双通道桥是基本上是目前BTC L2 最安全的跨链桥实现方案（实现了最小化信任）。
Bitlayer 通过技术+工程的融合，基于 BitVM，构建了一套相对来说兼顾安全与扩展性的跨链桥方案，但这也只是一种过渡阶段，是权衡安全性与扩展性之后的折中。
最小化信任应当是 BTC L2 追求的目标，随着BitVM一点点变得更加实用化，并且据笔者了解，预计约三个月后Bitalyer在BitVM的建设上还有一个重大突破，期待Bitlayer一步步成为我们期待中的 BTC L2。
参考：
1.Bitlayer: A Bitcoin Computational Layer Architecture Based on the BitVM Paradigm
2.BitVM: Compute Anything on Bitcoin
3.BitVM Bridge Becomes Practical
4.DLC原理解析及其优化思考
