Hello World
Introduction
- Delphi是一个实现安全推理的框架,使用各种混合协议提高了安全推理的效率和通信量。 提出了安全推理的使用场景,即家庭监控系统。客户不希望泄露自己的隐私,服务器不希望泄露自己的模型,因此可以把模型部署在云上,同过密码协议和客户交互实现安全的推理。然而这种安全推理的技术距离实际应用还有一段的距离。因为它需要复杂的计算和高通信量。即使是当前最先进的安全推理协议Gazelle运行在ResNet-32上也要用82s,560MB的通信量。
Tech
这篇论文相对于Gazelle主要减少了在线阶段的计算消耗,提高了整体的效率。其是在Gazelle的基础上发展而来的。Gazelle使用LHE同态加密技术计算线性层,使用GC混淆电路计算,还描述了如何有效的使用秘密分享技术在这两个协议之间转换。 本篇论文的优化: 线性层:为了降低线性运算的在线计算成本,将LHE密文上的复杂的密码运算移到预处理阶段。服务器上的模型是已经知道的,因此,可以使用LHE在预处理过程中创建模型的秘密共享,然后用户输入数据后,所有的操作都可以使用秘密共享完成,而不是复杂的密码学计算,而且也不需要相互作用来进行矩阵向量相乘。这种技术的好处有两方面。首先,在线阶段只需要传输秘密共享而不是密文,这立即导致线性层在线通信减少8倍。第二,由于在线阶段只对素数域的元素进行计算,并且我们的系统使用具体的32位素数来实现这一目的,该系统可以利用最先进的CPU和GPU库来计算线性层。 非线性层:Gazelle使用的Relu协议是使用GC实现的,GC的开销仍然是比较大的。Delphi框架采用了多项式近似的方案。由于这些协议在每次乘法运算中只需要传输少量恒定数目的字段元素,使用二次近似可以显著减少每次激活层的通信开销,而不需要引入额外的通信轮数。同样,由于底层的乘法协议只需要少量廉价的有限域操作,计算成本也减少了几个数量级。具体来说,在线通信和安全计算二次近似的计算成本分别比相应的GC混淆电路的成本小192×和10000×。 然而,这种近似不可避免的会产生训练上的误差,已经证明,这种误差可能导致训练精度快速下降还可能使训练时间快速增加。为了克服这个问题,作者开发了一个混合密码协议,同时使用ReLU协议和二次近似协议达到较好的精度和较好的效率。 把这两种协议混在一起使用,必然要考虑的是何时使用Relu何时使用二次近似。作者设计一个计划器,自动的把某些Relu以二次近似替代,以便使精度仍然保持在阈值之上。计划器采用的技术是NAS(神经网络搜索)和超参数优化。神经网络架构搜索(NAS)是自动机器学习里面一个热门的研究领域。它致力于自动寻找自动神经网络架构。