Alkanes 是比特币 L1 的极限。SUBFROST 是它的 L0。
比特币是运行应用最困难的地方,也是把价值移出最困难的地方。Alkanes 把 L1 推到了共识所允许的极限;L0 则是它之上的一层。一个通用的签名者共识,原生于 Bitcoin,在每一条链之间中介价值,以及 SUBFROST 如何构建它。
比特币是现存最难在其上承载应用的协议之一。对于一个想要创新的开发者来说,它几乎是可选项中最极端的选择,而这恰恰是任何在其上运行的东西之所以可信的原因。
Alkanes 之所以值得注意,是因为它是一个纯粹的 Bitcoin 技术栈。它除了 metashrew 以及一个用于区块同步(IBD)的 bitcoind 访问权限之外,别无所依;它的全部逻辑都存活于 Bitcoin L1 之上。它的状态随每个区块结算,与每一笔 Bitcoin 交易原子化地绑定,并且在不破坏任何一条规则的前提下扩展 Bitcoin。Bitcoin 共识原生地支持类似 Alkanes 这样的东西:如果你把程序部署承载在普通的交易结构上,并且把协议消息编码得足够经济,以在链上保持成本效益,那么应用逻辑就可以与货币共存——正如对 Runestone OP_RETURN 结构的 Protostone 扩展所做的那样。与 L2 不同,Alkanes 以主权的方式结算,没有 sequencer,也没有 rollup 代替你批量处理交易。
但有一条边界是 L1 靠自己无法跨越的。把 Bitcoin 原生货币移出,即一次退出,并不是应用层面的事情。它发生在桥接层。而对于一个基于 Bitcoin 的协议来说,那一层就是 L0。
L1 的终点
在 EVM 链上,退出一个 L2 是一个已解决的形态:智能合约、Merkle 证明和 zk 验证器把主张结算回链上。而在 Bitcoin 上,你在托管以及将价值中介回 L1 方面的选项要有限得多。
研究者们最常求助的选项是 BitVM,它确实是完成这项工作较好的工具之一:一种通过 tapscript 从一个自动化的、链上托管者那里对 Bitcoin 支出施加条件的方法。但 BitVM 并不在 L0 层面运作。L0 是一个从根本上比我们提升到 Bitcoin 脚本本身之上的应用逻辑更高层级的共识程序。它有自己的共识程序。它可以从各种来源(L1 和 L2,无论多么多样)接收信号,并且根据具体方案,它可能维护自己的有状态账本并铸造自己的资产。
一个 L0 可能是一个单体式的签名者,用硬编码的代码路径来处理它如何在网络之间中介价值或在它们之间中继预言机信息。SUBFROST 选择了更难、更通用的道路:一个原生工作于 Bitcoin 之上的单一框架,构建于来自 Zcash Foundation 的 FROST 门限签名实现之上。
SUBFROST 作为 L0
SUBFROST 是 subzero-rs 的一个部署实例:一个用于联邦化管理 Taproot 托管者的通用软件框架,并附带用于在其他加密货币网络上结算的额外库。其核心是一个链下多重签名钱包,支持轮换到新密钥。持有某个特定群组身份背后私钥某一份额的每一位持有者都运行相同的 WASM 程序。该程序可以进行网络调用,并且原生地使用 frtun——这是在签名者本身之间桥接匿名化数据流、并向外连接到更广阔互联网(在那里它接收上游信号)的点对点网络。
至关重要的是,SUBFROST 运行一个基于信号的 WASM 程序,它读取纯粹存活于 L1 上的 Alkanes 的状态。它不运行自己的任何有状态账本。相反,它实时协调,让这组签名者就一层层的信号达成共识,这些信号被组织为一个 DAG,或者更准确地说是一个依赖图。
通过信号达成共识
信号按其依赖关系的方向分层。一个 SUBFROST 程序可能首先就一个单一事实达成共识:当前的 Bitcoin 区块顶端高度。在这一点确定之后,它从 Alkanes 中拉取数据,以确定下一个区块待处理的 frBTC → BTC 解包集合。一旦图中的每一个信号都被确定,每一位签名者独立地构造出相同的一组 PSBT。当这些集合在整个群组中相互匹配时,系统就进入签名模式,用共享的群组密钥签名,并广播那笔从联邦释放出向外 BTC 的交易。
没有 sequencer 决定顺序。没有单一一方持有密钥。这份一致就是机制本身。
一个框架,多个群组
一个 subzero-rs 节点可以管理一组 WASM(wasip2)程序,并同时在多个签名群组中运作。因为协调逻辑是通用的(对任意信号达成共识),单个节点可以同时服务于多个联邦,而 SUBFROST 核心团队就运行着多个。frBTC 框架、frUSD 框架以及预言机框架都是 wasip2 程序,密钥的分发方式与上文所述完全一致。
它们共同使得那些锚定外部来源、或持有以 Bitcoin 或 EVM 稳定币计价的储备的资产成为可能。它们还提供取自现实世界资产的价格喂价,这让我们能够设计永续合约市场,并在 Alkanes 上为其他构建金融结构的开发者呈现真正有用的链上数据。
Bitcoin 共识的极限
L0 是我们在每一条通道之间协调信号的方式,而 SUBFROST 把这一概念带到了 Bitcoin 上所能达到的逻辑极限。
如果说 Alkanes 是 Bitcoin 共识在 L1 上所能完成之事的极限,那么 SUBFROST 就是 Bitcoin 共识在 L0 上所能支持之事的极限。二者共同构成了我们所相信应当成为加密货币与去中心化金融最终形态的基础。
— flex