57、如何使用比特币设计公平协议

如何使用比特币设计公平协议

1. 相关工作概述

在多方环境下，公平的两方安全计算有不同的实现方式。以下是一些相关工作的总结：
- 标准安全计算中的公平性 ：公平的两方抛硬币被证明是不可能的；对于受限类别的函数，存在完全公平的安全计算；对于所有函数，构建了部分公平的安全计算；对公平性的完整原语进行了广泛研究。
- 渐进释放机制 ：从早期工作开始，渐进释放机制已被用于解决多种场景下的公平交换问题。
- 乐观模型 ：有大量关于公平交换的乐观模型的工作，也有考虑安全计算的乐观模型。
- 法律可执行的公平性 ：设计了在特定模型下签名公平交换的协议，以及在两方安全计算中构建法律可执行公平性的方法。

2. 模型与定义

2.1 硬币的定义

我们将硬币定义为不可复制的原子实体，具有以下属性：
1. 硬币的所有者是持有它的一方，且保证没有其他方可以同时持有该硬币。
2. 硬币可以从发送方自由转移到接收方，接收方可以立即检查并确认收到的硬币的有效性。

每个硬币彼此完全不可区分，并且每个方都有自己的钱包和保险箱，硬币分布在钱包和保险箱中。这种定义旨在涵盖物理/加密货币，不包括需要外部方验证的数字支票或金融合同。

2.2 符号表示

使用 coins(x) 表示价值为 x 的物品。例如，一方拥有 coins(x1) 并从