Ligero++: A New Optimized Sublinear IOP
发表信息
作者
- Rishabh Bhadauria
- Zhiyong Fang
- Carmit Hazay
- Muthuramakrishnan Venkitasubramaniam
- Tiancheng Xie
- Yupeng Zhang
笔记
This paper follows the line of works that design concretely efficient transparent sublinear zero-knowledge Interactive Oracle Proofs (IOP). Arguments obtained via this paradigm have the advantages of not relying on public-key cryptography, not requiring a trusted setup, and resistance to known quantum attacks. In the realm of transparent systems, Ligero and Aurora stand out with incomparable advantages where the former has a fast prover algorithm somewhat succinct proofs and the latter has somewhat fast prover and succinct proofs. In this work, we introduce Ligero++ that combines the best features of both approaches to achieve the best of both worlds. We implement our protocol and benchmark the results.
本文延续了一系列旨在设计具体高效且透明的亚线性零知识交互式预言证明(Interactive Oracle Proofs, IOP)的研究工作。通过这种范式获得的论证具有以下优势:不依赖公钥密码学、无需可信设置、且能抵抗已知的量子攻击。在透明系统领域，Ligero和Aurora因其各自独特的优势而脱颖而出：前者具有快速的证明者算法和相对简洁的证明，而后者则具有相对快速的证明者和简洁的证明。在本研究中，我们提出了Ligero++，它结合了这两种方法的最佳特征，实现了两全其美。我们实现了该协议并对结果进行了基准测试。