#zkp

共收录 1 条相关安全情报。

← 返回所有主题
👥 作者: Mengling Liu, Yang Heng, Xingye Lu, Man Ho Au

本文提出了一种基于向量不经意线性评估(VOLE)的高效零知识证明协议套件JesseQ,包含JQv1和JQv2两个变体。零知识证明在隐私保护、区块链验证等领域具有广泛应用,但现有协议如QuickSilver和LPZKv2在证明者计算开销上仍有优化空间。JQv1针对布尔电路,每个AND门仅需扩展域上2次标量乘法(每次为O(κ)比特运算,κ=128为安全参数),且每个门仅需1个域元素通信;对于大域算术电路,每个乘法门仅需2次域乘法。JQv2以证明者计算量翻倍为代价,将通信成本再减半。实验表明,在布尔电路在线阶段,JQv1和JQv2相比现有最优方案实现至少3.9倍加速;大域电路方面,JQv1性能相近,JQv2提升1.3倍。通信成本保持不变或更优。值得注意的是,在廉价AWS实例上,JQv1仅需1美元即可证明9.2万亿个AND门(或61比特域上的5.8万亿个乘法门)。JQv在点积、矩阵乘法、格密码问题等应用中相比QuickSilver有40%-200%的性能提升,并能无缝集成Batchman框架,进一步提升批处理析取语句的效率。

💡 推荐理由: JesseQ显著降低了零知识证明中证明者的计算和通信开销,使大规模电路证明更经济实用,对隐私计算、区块链扩容等场景有直接推动。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)