TWC: Medium: Collaborative: Development and Evaluation of Next Generation Homomorphic Encryption Schemes

全同态加密（FHE）是一种很有前途的新技术，它使不可信方能够有效地直接对密文进行计算。例如，使用FHE，无法访问用户加密内容的云服务器仍然可以提供文本搜索服务。 一个有效的FHE方案将显著提高在云服务器上存储和处理的敏感用户数据的安全性。在使FHE提案更接近实践方面取得了重大进展。PI对不需要大量计算或存储的下一代同态加密方案进行了多管齐下的调查。调查分为两个研究模块。第一个模块侧重于FF加密的理论基础-PI的一个新方案-包括彻底的安全分析，安全和有效构建的参数选择，以及噪音缓解技术的研究。第二个模块将新方案与现有的具有相似属性的方案进行比较，以确定其安全性和效率。进一步的技术进行了研究，以提高该计划的可扩展性。在优化的软件和硬件实现的透镜下仔细检查所开发的理论同态加密方案的性能。该调查为创建和优化下一代FHE方案制定了策略。特别是，提出的新FF加密方案有可能减少参数大小，同时消除评估密钥，使FHE更接近现实世界的应用领域。在这个项目中的挑战包括一个新的同态计划的基础上，一个新的假设计算困难的问题进行分析。

Fully homomorphic encryption (FHE) is a promising new technology that enables an untrusted party to efficiently compute directly on ciphertexts. For instance, with FHE a cloud server without access to the user's encrypted content can still provide text search services. An efficient FHE scheme would significantly improve the security of sensitive user data stored and processed on cloud servers. Significant progress has been made in bringing FHE proposals closer to practice. The PIs conduct a multi-pronged investigation of next generation homomorphic encryption schemes that do not require heavy computation or storage.The investigation is structured in two research modules. The first module focuses on the theoretical foundation of FF-Encrypt - a new scheme by the PIs - including a thorough security analysis, selection of parameters for secure and efficient construction, and investigation of noise mitigation techniques. The second module compares the new scheme to existing ones with similar properties to establish its security and efficiency. Further techniques are studied to improve the scalability of the scheme. The performance of the developed theoretical homomorphic encryption schemes is scrutinized under the lens of optimized software and hardware implementations.The investigation develops strategies for creating and optimizing next generation FHE schemes. In particular, the proposed new FF-Encrypt scheme has the potential to reduce parameter sizes while also eliminating evaluation keys, pushing FHE a step closer to the realm of real-world applications. The challenges in this project include the analysis of a new homomorphic scheme based on a new assumed computationally hard problem.