本文介绍了多方同态加密(MHE)的概念及其与传统多方计算(MPC)的区别,MHE通过共享解密能力而非数据本身,实现了非交互式的计算过程,显著降低了通信开销和同步需求。文章深入探讨了基于MBFV的MHE协议,包括密钥生成、重线性化、密钥切换和自举等关键技术,并提供了一个使用Lattigo实现的具体示例,展示了MHE在实际应用中的潜力。
本文深入探讨了广义BFV(Brakerski-Fan-Vercauteren)同态加密方案,该方案通过使用多项式商环代替传统的整数明文模数,突破了经典BFV方案中数据吞吐量和计算深度之间的限制。该方案在噪声控制、深度缩放、结构化插槽以及引导解决方案等方面实现了显著改进,为隐私保护机器学习、安全数据库操作和加密分析等应用开辟了新的可能性。
本文深入探讨了全同态加密(FHE)中的单指令多数据(SIMD)操作,详细阐述了如何利用代数和数论的概念,特别是理想、商环、单位根、分圆多项式以及中国剩余定理,将多个明文值打包进一个密文中,并同时进行并行计算,从而显著提高FHE的效率,使其从理论走向实际应用。文章还探讨了如何通过Galois自同构和掩码技术实现数据的移动和旋转。
本文探讨了零知识证明(ZKP)在Web3以外的实际应用,例如谷歌在钱包中使用ZKP进行年龄验证,Cloudflare利用ZKP实现私有Web认证,EZKL用于隐私保护的机器学习,以及TikTok使用ZKP为TEE构建无需信任的远程认证系统。这些案例展示了ZKP在构建更注重隐私、可验证和尊重用户互联网方面的潜力。
本文深入探讨了密码学电路中缺失范围检查攻击的原理和实例,首先介绍了群论的基础知识,包括群、子群、群的阶、元素的阶、生成器和循环群等概念,以及拉格朗日定理及其推论。