87、基于有限负债的巴别塔费用机制详解

基于有限负债的巴别塔费用机制详解

1. 账本规则与批量有效性

在账本的规则中，主货币可能需要特殊处理。账本实现时，主货币的总供应量可能是固定的，这就导致其铸造策略在验证时总会失败，即便在产生和消耗临时债务的情况下也是如此。解决这个问题有两种方式：一是修改策略，明确允许主货币的成对生产；二是修改规则，不再检查主货币的策略。

对于账本的有效性，需要满足两个条件：一是有条件的有效性；二是其状态（即未花费输出集）不包含任何负数量。具体定义如下：
- 账本有效性：若账本 l 有条件有效，且对于所有 o ∈ unspentOutputs(l)，都有 o.value ≥ 0，则账本 l 是（完全）有效的。
- 交易批量有效性：对于有效账本 l，交易批量 ts : List[Tx] 是（完全）有效的，当且仅当 ts ++ l 是一个完全有效的账本。

2. 巴别塔费用的实现

2.1 巴别塔报价

在特定的现货市场中，卖家 S = {s1, s2, …, sn} 出售自定义代币捆绑包给买家 B = {b1, b2, …, bm}，买家提供主代币来支付卖家提交到网络的交易费用。带有巴别塔费用输出的交易本质上构成了一个报价，即通过支付巴别塔费用输出中包含的主代币负债来获得指定数量的自定义代币。巴别塔报价定义为一个元组：
BabelOfferdef = (Txid, TName, TAmount, Liability)
其中：
- Txid 是包含巴别塔费用输出的交易的唯一标识符。
- TName 是自定义代币的名称字符串。
- TAmount 是一个正整数 ∈ Z+，对应提供的代币数量。