10、利用智能合约实现公平的私有集合交集

利用智能合约实现公平的私有集合交集

1. 智能合约的气体成本分析

在不同的协议（Π 和 Π∗）中，智能合约（SC）的气体成本会因参与方集合大小的不同而有所变化。具体而言，对于参与方 P1 和 P2 分别持有的集合大小 n 和 m，存在乐观执行（双方都诚实）和悲观执行（一方行为不当）两种情况。

协议	气体成本与集合大小关系
Π	气体成本与 n 无关，但随着 m 增加，在悲观执行中，前四轮的 SC 气体成本占主导
Π∗	随着 m 增加，气体成本比 Π 高 [17% - 32%]；随着 n 增加，比 Π 高 29%，且气体成本与 log(n) 呈线性增长

从上述数据可以看出，SC 的存储成本限制了 m 的值，使其远小于 n。

2. 其他硬币补偿的 PSI 方案

有方案提出了两种适用于两方或多方的 PSI 方案：Justitia 和 Anesidora。
- Justitia：实现了硬币补偿的公平性，诚实方要么获得集合交集结果，要么在协议中止时获得硬币补偿。该协议已被证明对恶意对手具有安全性。
- Anesidora：将 Justitia 作为子例程，在恶意和理性对手的混合模型中被证明是安全的，使用了适当的激励机制。

与 Justitia 相比，我们的工作仅使用