异形加密

概览

相通式加密允许一方将密码文本转换出使解密在原始消息上产生预期操作的结果. 部分同位体方案支持有限的操作,而平分和完全相通的构造则在明确深度与噪声限制下评价越来越普遍的算术回路.

技术基础

现代计划将消息编码成多名环并基于学习-与errors问题的变体进行安全. 加密隐藏了结构噪声下的一个消息;加和乘式的密码文本执行相应的平正文字操作,同时会增加噪音与代数度. BFV和BG V支持精确的模块化算术,CK KS 以明显的缩放方式来支持近似真实或复杂的计算法并面向门的方案高效地评价布尔操作. 安全级别取决于环维,系数模数相接性能的密分和攻击估计值等条件取而代之. 因此参数选择必须平衡电路深度、精度出自运行时间以及密码分析比差。

如何运作

客户端在公钥下加密数据,并发送密码文本给计算服务. 代数操作既会改变编码值,又会对内部噪声术语进行修改. 缩放,调制切换、密钥转换和拖曳管理密码文本大小及噪音以便最终结果仍能由钥匙持有人解码。

衡量和研究方法

应用程序被编译成附加,乘法相加(plus-textions)和由所选方案支持的多名近似. 乘法往往需要再线化,而CK克星工作流程则会重新调整来控制相等分量. SIMD式包装评价一个操作跨越许多槽,这对于吞吐量至关重要. 靴子同质化的刷新了已耗尽密码文本,但仍然是昂贵和针对具体方案。 基准使用披露的参数和硬件报告纬度、内存,密码扩展等情况以及精确性和分期摊销吞吐量。 图书馆需要常时原始,安全随机并小心地序列化来避免基础数学之外的弱点.

二. 主要想法

• 加密计算保护了数据内容,但不会自动隐藏访问模式、时间或输出泄漏。
• 安全取决于具体参数、执行质量和所申明的硬性假设。
• 必须重新拟订算术,作为辅助的计算回路和精确预算。

目前的研究领域

研究改进了将同位化加密与多方计算相结合的靴子式,硬件加速法(英语:hold sercument)和编译器调度以及协议. 隐私保存机学习采用多名活化和分数模型,造成精度性能相配合设计问题. 多键和阈值变量分配信任,而可核查的计算则解决了一个不可信服务器是否正确执行所请求电路的问题. 部署工作仍必须控制元数据、查询重复和产出推论;发布的统计数据可能需要不同的隐私。 量子后的信心取决于丝带假设和持续的密码分析,因此执行应支持参数更新和独立的安全审查。

为什么它很重要

该技术使得无法共享原始数据的地方能够进行隐私保存云分析、协作统计和选定的医疗或财务计算。 它补充安全的多方计算和可信赖的硬件,而不是取代每一个隐私机制.

限制和未决问题

密码文本和操作仍然大大地比平版等同物大而慢. bootstrapping cost,数字近似化(英语:number surprise)出错的密钥管理、侧道和恶意输入使部署复杂化了。 而被解码的结果本身可能仍然披露敏感信息.