捍卫无需许可的比特币由于许多投资者现在可以通过受监管的产品投资比特币，他们可以在传统金融(TradFi)产品中交易BTC，例如杠杆交易、抵押贷款等。然而，这些产品并不使用原生的BTC。相反，他们使用由发行者控制的TradeFi版本的BTC，而原生BTC则由托管人锁定。随着时间的推移，TradeFi版本的BTC可能成为持有和使用BTC的主要方式，将其从一个去中心化的无需许可资产转变为另一个由华尔街控制的资产。比特币原生的无需许可性是抵抗旧金融系统对比特币控制的唯一途径。
构建比特币原生产品L1应用开发者曾多次尝试在 L1 上实现其他功能。这些努力集中在利用比特币交易携带任意数据的能力上。这些任意数据可用于实现额外功能，例如发行和转移资产以及 NFT。然而，这些功能并不是作为比特币协议的一部分构建的，而是需要额外的软件来解释这些数据字段并对其进行操作。
这些努力包括Colored Coins、Omni协议、Counterparty和最近的Ordinals。Omni最初用于在比特币L1上发行和转移USDT，后来扩展到其他链上。Counterparty是比特币Stamps和SRC-20代币的底层技术。Ordinals 目前是使用铭文在比特币上发行 NFT 和 BRC-20 代币的标准。
Ordinals 自推出以来取得了巨大成功，产生的费用超过 2 亿美元。尽管取得了成功，Ordinals仅限于资产发行和转移。Ordinals无法用于在L1上实现应用程序。由于比特币原生编程语言 Bitcoin Script 的限制，更复杂的应用程序（例如 AMM 和借贷）几乎不可能构建。
BitVM扩展比特币L1功能的一个尝试是BitVM。这个概念建立在比特币的Taproot升级之上。BitVM 的概念是通过程序的链外执行来扩展比特币的功能，并保证程序的执行可以通过欺诈证明在链上受到质疑。尽管BitVM似乎可以用来在链下实现任意逻辑，但实际上，L1上执行欺诈证明的成本随着链下程序的大小而迅速增长。这个问题限制了BitVM在特定问题上的应用性，例如信任最小化的BTC桥接。许多即将推出的比特币L2利用BitVM实现桥接。
BitVM操作的简化图
侧链解决比特币有限可编程性的另一种方法是使用侧链。侧链是独立的、完全可编程的区块链，与EVM兼容，它们试图与比特币社区保持一致，并为这个社区提供服务。Rootstock、Blocksteam的Liquid和Stacks V1是这些侧链的例子。
比特币侧链已经存在多年，但在吸引比特币用户方面总体上取得有限的成绩。例如，Liquid侧链上桥接的BTC不到4500个。然而，这些链上构建的一些DeFi应用已经取得了不错的成绩，例如 Rootstock 上的 Sovryn 和 Stacks 上的 Alex。
比特币L2比特币L2正在成为构建基于BTC的无需许可应用程序的焦点。它们可以提供与侧链相同的优势，但具有源自比特币基础层的安全保证。关于什么才是真正的比特币 L2，人们一直争论不休。在本文中，我们将避免这种争论，而是讨论如何使 L2 与 L1 充分耦合的主要考虑因素，并讨论一些有前途的 L2 项目。
比特币L2的要求L1 的安全性
比特币 L2 最重要的要求是从 L1 的安全性中获得其安全性。比特币是最安全的链，用户希望这种安全延伸到L2。例如，闪电网络（Lightning Network）已经实现了这一点。
这就是侧链被归类为侧链的原因，它们有自己的安全性。例如，Stacks V1依赖于STX代币来确保其安全。
实践中实现安全要求极具挑战性。为了确保L1能够安全地支持L2，L1需要能够执行某些计算以验证L2的行为。例如，以太坊的rollup从L1获得安全性，因为以太坊L1可以验证零知识证明（zk rollup）或验证欺诈证明（optimistic rollup）。目前比特币的基础层缺乏执行这些操作的计算能力。有提案建议向比特币添加新的操作码，以便基础层验证rollups提交的ZKP。此外，像BitVM这样的提案尝试实现无需更改L1的欺诈证明方式。BitVM面临的挑战是，欺诈证明的成本可能极高（数百个L1交易），限制了其实际应用。
为了实现L2达到L1级别的安全性，L1需要有L2交易的不可变记录。这被称为数据可用性（DA）要求。它允许仅监控L1链的观察者验证L2状态。通过铭文，可以将L2交易记录嵌入到比特币L1中。然而，这又带来了另一个问题，即可扩展性。由于比特币L1的区块时间限制为每10分钟4MB，其数据吞吐量限制为约1.1 KB/s。即使将L2交易高度压缩至大约10字节/交易，假设所有 L1 交易都用于存储 L2 数据，L1也只能支持约每秒100笔交易的L2吞吐量。
L1到L2的信任最小化桥接
在以太坊 L2 中，与 L2 之间的桥接由 L1 控制。桥接到L2，即Peg-in，实际上意味着在L1上锁定资产并在L2上铸造这些资产的副本。在以太坊中，这是通过L2原生桥接智能合约实现的。该智能合约存储了所有桥接到L2的资产。智能合约的安全性来自L1验证者。这使得到L2的桥接安全且最大程度减少了信任。
在比特币中，无法实现由整个L1矿工集合保护的桥接。相反，最好的选择是使用多签钱包来存储L2资产。因此，L2桥接的安全性取决于多签安全性，即签名者的数量、身份以及如何保护Peg-in和Peg-out操作。提高L2桥接安全性的一种方法是使用多个多签钱包，而不是单个多签钱包来保存所有L2桥接资产。这方面的例子包括TBTC，多签签名者需要提供可被削减的抵押品。类似地，建议的BitVM桥接要求多签签名者提供安全保证金。然而，在这种多签中，任何签名者都可以发起Peg-out交易。Peg-out交互受到BitVM欺诈证明的保护。如果签名者有恶意行为，其他签名者（验证者）可以在L1提交欺诈证明，导致恶意签名者被削减。
比特币L2现状
比特币L2项目的总结对比
Chainway
Chainway正在比特币之上构建一个zk rollup。Chainway rollup使用比特币L1作为DA层来存储rollup的ZKP和状态差异。此外，rollup利用证明递归，使每个新证明聚合在先前L1区块上发布的证明。证明还聚合了“强制交易”，这些是在L1上广播的与L2相关的交易，以强制将它们包含在L2中。这种设计有几个优点：
- 强制交易保证了rollup的排序器无法审查L2交易，并赋予用户通过在L1上广播这些交易来包含这些交易的能力
- 使用证明递归意味着每个区块的证明者都必须验证前一个证明。这创建了一条信任链并保证了无效证明不能包含在L1中。
Botanix
Botanix正在为比特币构建一个EVM L2。为了提高与比特币的一致性，Botanix L2使用比特币作为PoS资产来实现共识。L2验证者从在L2上执行的交易中赚取费用。此外，L2 使用铭文将所有 L2 交易的 Merkle 树根存储在 L1 上。这为L2交易提供了部分安全性，因为L2交易日志不能被更改，但并不保证这些交易的DA。
Botanix通过名为Spiderchain的去中心化多签系统网络处理从L1到L2的桥接。多签的签名者是从一组协调者中随机选出的。协调者在L1上锁定用户资金并签署声明，以铸造等量的BTC在L2上。协调者发布安全保证金以获得这一角色。如果出现恶意行为，安全保证金将被削减。
Botanix已经启动了公共测试网，主网计划于2024年上半年推出。
Bison Network
Bison采用主权rollup风格来实现其比特币L2。Bison实现了使用STARKs的zk rollup，并使用Ordinals 作为机制将生成的ZKP和交易数据存储到L1中。由于比特币无法在L1上验证这些证明，验证被委托给用户，他们在自己的设备上验证ZKP。从这个意义上说，Bison更像是一个Optimistic Rollup，但没有欺诈证明。
对于比特币在L2的桥接操作，Bison使用了离散对数合约（DLC）。DLC由L1保障，但依赖于外部预言机。这个预言机读取L2网络的状态，并将信息传递给比特币的L1网络。如果这个预言机是中心化的，预言机可能恶意使用锁定在L1网络上的资产。因此，对于Bison来说，最终转向去中心化的DLC预言机是非常重要的。
目前，Bison还不支持特定的虚拟机（VM）。Bison操作系统实现了一些合约，例如代币合约，这些合约可以通过Bison证明者进行证明。
Stacks V2
Stacks是最早专注于扩展比特币可编程性的项目之一。 Stacks 正在进行改造，以更好地与比特币 L1 保持一致。本文讨论的重点是预计将于2024年4月在主网上线的即将到来的Stacks V2。Stacks V2实现了两个新概念，这些概念正在改进与 L1 的一致性。第一个版本是 Nakamoto 版本，它更新了Stacks的共识，以便遵循比特币区块和最终确定性。第二个是改进的比特币桥接技术，称为sBTC。
在 Nakamoto中，Stacks的区块由矿工挖掘，这些矿工在 L1 网络上提交比特币作为保证金。当Stacks矿工创建一个区块时，这些区块会被锚定在比特币的 L1 网络上，并从 L1 网络的工作量证明（PoW）矿工那里获得确认。当一个区块获得150个 L1 网络确认后，该区块被认为是最终确定的，且无法在不分叉比特币 L1 网络的情况下进行分叉。此时，挖出该区块的Stacks矿工会获得STX奖励，他们的BTC保证金将分配给网络的Stackers。这样，任何比150个区块更旧的Stacks区块（大约1天前的区块）都依赖于比特币 L1 网络的安全性。对于较新的区块（< 150个确认），只有当70%的Stackers支持分叉时，Stacks链才能分叉。
Stacks的另一个升级是sBTC，它提供了一种更安全的方式将BTC桥接到Stacks。为了将资产桥接到Stacks，用户将他们的BTC存入由L2网络的Stackers控制的 L1 网络地址。当存款交易得到确认后，在L2网络上就会铸造sBTC。为了确保桥接BTC的安全性，Stackers必须锁定超过桥接BTC价值的STX作为保证金。Stackers还负责执行来自L2网络的赎回请求。赎回请求以L1网络交易的形式广播。确认后，Stackers会在L2网络上销毁sBTC，并协作签署一个L1交易，释放用户在一层网络上的BTC。对于这项工作，Stackers获得了之前讨论的矿工保证金作为奖励。这种机制被称为转移证明（PoX）。
Stacks通过要求许多重要的L2交易，例如矿工PoX保证金、赎回交易等，作为L1网络交易来执行，从而与比特币对齐。这一要求确实提高了桥接BTC的对齐和安全性，但由于L1的波动性和高费用，可能导致用户体验下降。总的来说，升级后的Stacks设计解决了V1中的许多问题，但仍存在一些弱点。这包括在L2中使用STX作为原生资产，以及L2的数据可用性，即只有交易和智能合约代码的哈希在L1网络上可用。
BOB
Bulid-on-Bitcoin（BOB）是一个旨在与比特币对齐的以太坊L2。BOB作为以太坊上的Optimistic rollup运行，并使用EVM执行环境来实现智能合约。
BOB最初接受不同类型的桥接BTC（WBTC，TBTC V2），但计划未来采用更安全的双向桥接技术，使用BitVM。
为了与也支持WBTC和TBTC的其他以太坊L2区分开来，BOB正在构建允许用户直接与比特币L1进行交互的功能。BOB SDK提供了一系列智能合约库，允许用户在比特币L1上签署交易。这些交易在L1上的执行由比特币轻客户端监控。轻客户端将比特币区块的哈希添加到BOB，以便进行简单的验证（SPV），确认提交的交易已在L1上执行并包含在区块中。另一个特色是独立的zkVM，允许开发人员为比特币L1编写Rust应用程序。可以在BOB rollup上验证正确执行的证明。
BOB目前的设计更像是侧链而不是比特币L2。这主要是因为BOB的安全性取决于以太坊L1，而不是比特币的安全性。
SatoshiVM
SatoshiVM是另一个计划推出zkEVM比特币L2的项目。该项目在1月初突然出现并启动了测试网。关于这个项目的技术细节信息很少，目前还不清楚项目背后的开发者是谁。SatoshiVM的少量技术文档提到了使用比特币L1进行数据可用性D）、通过支持在L1上广播交易来抵抗审查，并使用类似BitVM的欺诈证明来验证L2的零知识证明。
由于其匿名性质，这个项目周围存在很多争议。一些调查显示，该项目与Bool Network有关联，后者是一个较早的比特币L2项目。
比特币L2中的创业机会比特币L2领域为创业提供了多个机会。除了构建最佳比特币L2的机会外，还有其他几个创业机会。
比特币DA层
许多即将到来的L2旨在增加它们与L1的一致性。一种方法是将 L1 用于 DA。然而，鉴于比特币区块大小的严格限制和L1区块之间的长时间延迟，L1无法存储所有L2交易。这为特定于比特币的DA层创造了机会。现有网络，例如Celestia，可以扩展以填补这一空白。但是，创建一个依赖于比特币安全性或BTC抵押的链下DA解决方案，可以提高与比特币生态系统的一致性。
MEV提取
除了使用比特币L1进行DA外，一些L2可能会选择将L2交易排序委托给绑定BTC的排序器，甚至委托给L1矿工。这意味着任何MEV提取都将委托给这些实体。鉴于比特币矿工不适合执行此任务，因此存在一个类似Flashbots的公司专注于比特币L2的MEV提取和私人订单流的机会。MEV提取通常与所使用的虚拟机（VM）密切相关，考虑到比特币L2尚无公认的VM，可能会有多个参与者出现在该领域。每个参与者专注于不同的比特币L2。
比特币收益工具
比特币 L2 将需要使用比特币抵押品来进行验证器选择、DA 安全和其他功能，这就为持有和使用比特币创造了收益机会。目前，有一些工具提供此类机会。例如，Babylon允许用户抵押BTC来保护其他链。随着比特币L2生态系统的繁荣，为BTC原生收益机会提供聚合平台将是面临着巨大的机会。
总结比特币是最知名、最安全、流动性最强的加密货币。随着比特币现货 ETF 的推出，比特币进入机构采用阶段，保持 BTC 作为无需许可和抗审查资产的基本性质比以往任何时候都更加重要。
这只能通过扩展围绕比特币的无需许可应用空间来实现。比特币L2及其支持这些L2的创业生态系统是实现这一目标的基本要素。
