31、高效存储支付通道与智能家居区块链认证协议解析

高效存储支付通道与智能家居区块链认证协议解析

1. Daric 支付通道机制

1.1 撤销与更新操作

当接收到 (REVOKE′, id) 消息时，会进行一系列状态更新操作：
1. 设置 γ.st := θ ， γ.flag := 1 ， γ.st′ :=⊥ ， γ.sn := γ.sn + 1 。
2. 更新 Γ(id) := (γ, TX) 。
3. 发送 (UPDATED, id) 消息给 γ.Users 并停止操作。若未收到该消息，则执行 ForceClose(id) 操作并停止。

1.2 关闭通道操作

当接收到 (CLOSE, id) 消息时，分情况处理：
- 双方同意关闭 ：若 Q 也发送了 (CLOSE, id) 消息，根据不同条件处理：
- 若在 τ1 ≤τ0 + 1 + Δ 轮内，存在 TXSP 且 TXSP.Output = γ.st ， TXSP.Input = TXFU.txid||1 出现在账本 L 上，更新 Γ(id) :=