作者：Trustless Labs，来源：作者推特@TrustlessLabs
本文介绍了三种比特币智能合约方案 #RBG、RBG++和Arch Network 。
背景
比特币是目前流动性最好且最安全的区块链。在铭文爆发后，BTC 生态吸引了大量开发者涌入，他们很快关注到了 BTC 的可编程性问题与扩容问题。通过引入不同的思路，如 ZK、DA、侧链、rollup、restaking 等方案，BTC 生态的繁荣正迎来全新高点，俨然已经成为本轮牛市的主线剧情。
然而，在这些设计中，许多都延续了 ETH 等智能合约的扩容经验，且必须依赖一个中心化的跨链桥，这是系统的薄弱点。少有方案是基于 BTC 本身的特点设计的，这与 BTC 本身的开发者体验并不友好有关。由于一些原因使得它没法像以太坊一样运行智能合约：
• 比特币的脚本语言为了安全性而限制了图灵完备性，这使得没法像以太坊一样执行智能合约。
• 同时比特币区块链的存储是针对简单的交易而设计，没有对复杂的智能合约进行优化。
• 最重要的是比特币没有虚拟机来运行智能合约。
2017 年隔离见证 (SegWit) 的引入增加了比特币的区块大小限制；2021 年的 Taproot 升级使得批量签名验证成为可能，从而更轻松、更快速地处理交易（解锁原子交换、多重签名钱包和有条件付款）。这都使的比特币上的可编程性成为可能。
2022 年，开发者 Casey Rodarmor 提出了他的“Ordinal Theory”，概述了聪的编号方案，可以将图像等任意数据放入比特币交易中，为直接在比特币链上嵌入状态信息和元数据开辟了新的可能性，这对于需要可访问和可验证状态数据的智能合约等应用程序来说，开辟了一条新的思路。
目前，大多数扩展比特币编程性的项目依赖于比特币的二层网络（L2），这使得用户必须信任跨链桥，成为L2获取用户和流动性的一大挑战。此外，比特币目前缺乏原生的虚拟机或可编程性，无法在无需额外信任假设的情况下实现L2与L1的通信。
Arch Network、RGB 和 RGB++ 都尝试从 BTC 原生属性出发，增强比特币的可编程性，通过不同的方法提供智能合约和复杂交易的能力：
• RGB 是一种通过链下客户端验证的智能合约方案，智能合约的状态变化被记录在比特币的 UTXO 中。虽然具有一定的隐私优势，但使用起来繁琐，且缺乏合约的可组合性，目前发展非常缓慢。
• RGB++ 是 Nervos 在 RGB 的思路下的另一条扩展路线，依然基于 UTXO 绑定，但通过将链本身作为一个具备共识的客户端验证者，这提供了一种元数据资产跨链的解决方案，并允许其支持任意 UTXO 结构链的转移。
• Arch Network 为 BTC 提供了一个原生的智能合约方案，创建了一个 ZK 虚拟机和对应的验证者节点网络，通过聚合交易将状态变化与资产阶段记录在 BTC 交易中。
Arch Network
Arch Network 主要由 Arch zkVM 和 Arch 验证节点网络组成，利用零知识证明 (zk-proofs) 和去中心化验证网络确保智能合约的安全和隐私，比 RGB 更加易用，并没有像 RGB++ 一样需要另一条 UTXO 链进行绑定。
Arch zkVM使用RISC Zero ZKVM执行智能合约并生成零知识证明，由去中心化的验证节点网络进行验证。该系统基于UTXO模型运行，将智能合约状态封装在State UTXOs中，以提高安全性和效率。
Asset UTXOs则用于代表比特币或其他代币，并可通过委托的方式进行管理。Arch 验证网络通过随机选出的leader节点对ZKVM内容进行验证，并使用FROST签名方案聚合节点签名，最终将交易广播到比特币网络。
Arch zkVM 为比特币提供了一个图灵完备的虚拟机，能够执行复杂的智能合约。每次智能合约执行后，Arch zkVM 会生成零知识证明，这些证明用于验证合约的正确性和状态变化。
Arch 也使用了比特币的 UTXO 模型，状态和资产被封装在 UTXO 中，通过单次使用的概念进行状态转换。智能合约的状态数据被记录为 state UTXOs，而原数据资产被记录为 Asset UTXOs。Arch 确保每个 UTXO 只能被花费一次，从而提供安全的状态管理。
Arch 虽然没有创新区块链结构，但也需要一个验证节点网络。在每个 Arch Epoch 期间，系统会根据权益随机选择一个Leader节点，Leader节点负责将收到的信息传播到网络内的所有其他验证者节点。所有 zk-proofs 都由去中心化的验证节点网络进行验证，确保系统的安全性和抗审查性，并生成签名给Leader节点。一旦交易由所需数量的节点签署，就可以在比特币网络上对广播。
RGB
RGB 是 BTC 社区早期的智能合约扩展思路，其通过 UTXO 封装的方式记录状态数据，为后续 BTC 原生扩容提供了重要思路。
RGB采用链下验证方式，将代币转移的验证从比特币的共识层移到链下，由特定交易相关的客户端进行验证。这种方式减少了对全网广播的需求，增强了隐私和效率。然而，这种隐私增强方式也是一把双刃剑。通过仅让和特定交易相关的节点参与验证工作，虽然增强了隐私保护，但也导致第三方不可见，使得实际操作过程复杂且难以开发，用户体验较差。
并且，RGB引入了单次使用密封条的概念。每个UTXO只能被花费一次，相当于在创建UTXO时上锁，在花费它时解锁。智能合约的状态通过UTXO封装并通过密封条管理，从而提供了一种有效的状态管理机制。
RGB++
RGB++ 是 Nervos 在 RGB 的思路下的另一条扩展路线，依然基于 UTXO 绑定。
RGB++ 利用图灵完备的 UTXO 链（例如 CKB或其他链）来处理链下数据和智能合约，进一步提升了比特币的可编程性，并通过同构绑定BTC来保证安全性。
RGB++采用图灵完备的UTXO链。通过使用像CKB这样的图灵完备UTXO链作为影子链，RGB++能够处理链下数据和智能合约。这种链不仅可以执行复杂的智能合约，还可以与比特币的UTXO进行绑定，从而增加了系统的编程性和灵活性。此外，比特币的UTXO和影子链的UTXO同构绑定，确保了状态和资产在两条链之间的一致性，从而保证了交易的安全性。
除此之外，RGB++不仅扩展到所有图灵完备的UTXO链，不再局限于CKB，从而提升了跨链互操作性和资产流动性。这种多链支持允许RGB++与任何图灵完备的UTXO链结合，增强了系统的灵活性。同时，RGB++通过UTXO同构绑定实现无桥跨链，与传统的跨链桥不同，这种方式避免了“假币”问题，确保了资产的真实性和一致性。
通过影子链进行链上验证，RGB++简化了客户端验证过程。用户只需检查影子链上的相关交易，即可验证RGB++的状态计算是否正确。这种链上验证方式不仅简化了验证过程，还优化了用户体验。由于使用图灵完备的影子链，RGB++避免了RGB复杂的UTXO管理，提供了更加简化和用户友好的体验。
结论
在BTC可编程性设计方面，RGB、RGB++ 和 Arch Network各有特色，但都延续了绑定 UTXO 的思路，UTXO 的仅一次使用的鉴权属性更适合智能合约用于记录状态。
但其劣势也非常明显，即糟糕的用户体验，与 BTC 一致的确认延迟与低性能，即只扩展了功能，但没有提升性能，这在 Arch 与 RGB 中较为明显；而 RGB++ 的设计虽然通过引入更高性能的 UTXO 链提供了更好的用户体验，但也提出了额外的安全性假设。
随着跟多开发者加入 BTC 社区，我们会见到更多的扩容方案，如 op-cat 的升级提案也在积极讨论中。而切合 BTC 原生属性的方案是需要重点关注的，UTXO 绑定方法是不升级 BTC 网络的前提下，扩展 BTC 编程方式的最有效方法，只要能解决好用户体验问题，将是 BTC 智能合约的巨大进步。
