Phecda: Post-Quantum Transparent zkSNARKs from Improved Polynomial Commitment and VOLE-in-the-Head with Application in Publicly Verifiable AES
发表信息
作者
- Changchang Ding
- Yan Huang
笔记
We propose Phecda, a new framework to produce quantum-resistant transparent zkSNARKs in the Random Oracle Model. Phecda features a novel multi-linear polynomial commitment scheme and a novel VOLE-in-the-Head zero- knowledge argument, offering a versatile solution for verifying many real-world computations. In particular, we invent a novel AES verification circuit, which, combined with Phecda, allows to verify 1024 blocks of AES in the counter-mode in 10ms using a single-thread program running on a Linux PC.
我们提出Phecda框架，这是一种在随机预言机模型中生成抗量子透明零知识简洁非交互式论证（zkSNARKs）的新方案。Phecda创新性地采用多线性多项式承诺方案与VOLE-in-the-Head零知识论证技术，为多种现实计算验证提供了通用解决方案。特别值得一提的是，我们设计了一种新型AES验证电路，结合Phecda框架，在Linux个人电脑单线程运行环境下，仅需10毫秒即可完成计数器模式下1024个AES数据块的验证。