31、异步乐观公平交换与全隐私拍卖协议解析

异步乐观公平交换与全隐私拍卖协议解析

异步乐观公平交换协议

可生成物品所有者的中止交换子协议

在物品交换过程中，可生成物品的所有者可以尝试通过以下子协议中止交换：
1. B向TTP发送中止请求（B → TTP : abort request）。
2. TTP进行判断：
- 如果TTP尚未将iB发送给A，TTP向B回复交换已中止（TTP → B : exchange has been aborted）。
- 如果iB已发送给A，TTP向B发送iA（TTP → B : iA）。
- 如果A已经解决冲突并收到生成的iB，则无法再进行中止操作。此时TTP会将存储的物品iA转发给B，从而实现成功交换。

下面用mermaid流程图展示该过程：

graph LR
    classDef startend fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px;
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    classDef decision fill:#FFF6CC,stroke:#FFBC52,stroke-width:2px;

    A([B发送中止请求]):::startend --> B{TTP是否已发送iB给A?}:::decision
    B -->|否| C([TTP回复交换已中止]):::process
    B -->|是| D([TTP发送iA给B]):::process