6、可更新非交互零知识证明与安全多方计算比较的研究进展

可更新非交互零知识证明与安全多方计算比较的研究进展

在当今的密码学和机器学习领域，可更新非交互零知识证明（NIZK）以及安全多方计算（MPC）中的比较协议都有着至关重要的地位。本文将深入探讨这两个领域的相关研究成果、创新点以及实际应用中的考量。

可更新NIZK的研究

可更新NIZK在密码学中是一个重要的研究方向，它能够在减少对第三方信任的同时，实现高效的证明和验证。

• 理论基础与定理证明 ：通过对相关定理的证明，将zk - SNARK的证明进行了改进。在每个基于zk - SNARK的ZK属性的游戏变化中，使用NI zap的（Sub - ）WI属性；对于依赖zk - SNARK知识健全性的步骤，依赖NI zap的健全性，不过只能实现U - SS而非U - SE。
• 实例化构造
  • 满足U - SE的构造 ：为了获得Sub - ZK和U - SE的NIZK知识论证，将NI - ZoK Ψ实例化为特定方案，密钥可更新签名方案Σ采用特定方案，强不可伪造一次性签名方案ΣOT采用Groth方案。
  • 满足U - SS的构造 ：为构建Sub - ZK和U - SS的NIZK论证，将NI zap Ψ实例化为另一特定方案，密钥可更新签名方案Σ和一次性签名方案ΣOT分别采用相应方案。最终得到的NIZK论证具有可更新的SRS，仅包含两个组元素，即密钥可更新签名方案的公钥，可高效更新和验证。
• 研究结论