Multi-Party Threshold Private Set Intersection with Sublinear Communication-2021:解读

🚀 优质资源分享 🚀

学习路线指引（点击解锁）	知识定位	人群定位
🧡 Python实战微信订餐小程序 🧡	进阶级	本课程是python flask+微信小程序的完美结合，从项目搭建到腾讯云部署上线，打造一个全栈订餐系统。
💛Python量化交易实战💛	入门级	手把手带你打造一个易扩展、更安全、效率更高的量化交易系统

记录阅读论文的笔记。

摘要

总结：
（1）CRYPTO 2019:The Communication Complexity of Threshold Private Set Intersection-2019：解读提出任何阈值PSI得通信复杂度为Ω(T)；基于FHE的两方阈值PSI通信复杂度为O(T)，但计算消耗很大么；基于GC的了；两方阈值PSI得通信复杂度为O(T3)，并给出了一个通信复杂度为O(T2)的基于AHE的两方阈值PSI协议。

（2）本文和Multiparty Cardinality Testing for Threshold Private Set-2021：解读在同一年提出，难免相似。
（3）在本文中，研究多方阈值PSI的通信复杂度，分为两个功能：
第一，参与方检测数据集与交集的最大相差是否为T？
即对于I=S∩，判断|Si∖I|≤T，或|I|≥m−T是否成立？（m是数据集大小）
关注的是交集（相同数据的个数）是否足够大！，记做FTPSI−int。

第二，参与方检测并集与交集的最大相差是否为T？
即判断|⋃i=1nSi∖I|≤T是否成立？
关注的是差集（不同数据的个数）是否足够小！记做FTPSI−diff

这两个功能在两方下是等效的，在多方下不是。
因为在两方中，要求|⋃i=1nSi∖I|=2|Si∖I|，所以不用区分。在多方中，我们知道2|Si∖I|≤|⋃i=1nSi∖I|≤n.|Si∖I|，因此和两方的不同！

（4）本文中，给出任何协议的通信复杂度为Ω(nT)；在阈值FHE下的协议最大通信复杂度为O(nT)，本文设计的协议的通信复杂度只依赖于（only数据），而不依赖集合的输入。
（5）在本文中，给出以上两个功能函数的通信复杂度的上限和下限。

其中TFHE是全同态加密方案，TAHE是加法同态性的加密方案；安全性是半诚实的。
下面是对通信复杂度的上限分析，阈值PSI一般分为两个阶段：
第一阶段：

主要就是进行cardinality testing，判断交集是否足够大，详细点说可以分为两种：
对于FTPSI−int，即判断|I|≥m−T是否成立？，记做FCTest−diff。

对于FTPSI−diff，即判断|⋃i=1nSi∖I|≤T是否成立？，记做FCTest−diff。

第二阶段：
如果交集足够大，即通过了cardinality testing，就会进入第二阶段，各方找到他们的差集Si∖I。
该阶段只使用TAHE，通信复杂度为O(nT)，再结合第一阶段（表2）就会得到最终的通信复杂度（表1）。

介绍

1、PSI的应用：
（1）DNA测试和模式识别
（2）远程诊断
（3）僵尸网络检测
（4）在线广告
2、PSI模式：
（1）两方
（2）多方
（3）云辅助
3、PSI安全模型：
（1）半诚实
（2）恶意

设计结构

这里也是多方参与的协议，使用的是星型拓扑结构（star network），即一个leader方（designated party）和其他方交互，该结构的优点就是，无需所有方都同时在线。用于分析通信复杂度上限时。

点对点结构（point-to-point），这是星型拓扑的扩展，在本文中用于分析通信复杂度下限时。

另外还有广播型场景：
。。。待补充

其他介绍

两方阈值PSI

在CRYPTO 2019中已经介绍很清晰了，使用的是AHE构造的两方阈值PSI，通信复杂度为O~(T2)。

亚线性通信PSI

本文设计的多方阈值PSI可以用于设计多方PSI，其通信复杂度只与差值大小相关。具体说，对于多