Spark 基础
主权
自主权是 Spark 设计的核心原则。这是一种无与伦比的品质,很少有 L2 能够为用户提供。
Spark 与闪电网络一样,专为价值转移而设计,而非像其他 L2 那样用于通用计算。这种专注使得实现非托管性和真正无信任退出变得更加直接。
工作原理:
- 预签名交易: 在将资金存入 Spark 之前,您与运营商一起创建预签名交易,将资金退出到比特币 L1。这意味着如果运营商在转账后离线或变得恶意,您始终可以退出您的资金
- 时间锁定交易: 当叶子的所有权转移时(例如,从 Alice 到 Bob)(在 Spark 中,叶子类似于 UTXO 并代表 L1 上 UTXO 的所有权),会签署一笔交易,赋予 Bob 在 L1 上叶子的所有权。这个退出交易受到相对于其父交易的时间锁定限制。时间锁的相对性意味着您可以无限期地持有未发布的叶子,没有必须上链的时间限制。
- 递减时间锁: 如果 Bob 随后将叶子转移给 Charlie,则为 Charlie 签署一个时间锁更短的新交易(例如,300 个区块而不是 Bob 的 400 个)。每次后续转移都会减少时间锁,因此最近所有者的交易最先有效。这确保当前所有者总是比前一个所有者更早退出。这可以由瞭望塔支持,以确保当前所有者总是在前一个所有者之前退出。
- 回退到 L1: 如果 Spark 运营商消失、被攻击、尝试审查或拒绝合作,您(当前所有者)可以单方面将预签名交易广播到比特币 L1,包括您的叶子,并在相对时间锁到期后领取资金。
这种机制确保您不会无限期地依赖任何外部实体。即使是一个中心化组件,您也有一个不可动摇且无条件的逃生舱,可以在比特币 L1 上收回您的资金,使您的资金在实践中实现非托管。时间锁的相对性也使用户不必按照固定计划刷新或退出资金到 L1。根据叶子的深度,退出 Spark 可能只需要 100 个区块。
这与标准 L2 退出机制有很大不同,在标准机制中,用户必须依赖中心化排序器或桥接器来退出,没有绝对保证。