Abstract
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.
Original language | English |
---|---|
Title of host publication | CCS 2020 - Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security |
Publisher | Association for Computing Machinery |
Pages | 2025-2038 |
Number of pages | 14 |
ISBN (Electronic) | 9781450370899 |
DOIs | |
State | Published - 30 Oct 2020 |
Event | 27th ACM SIGSAC Conference on Computer and Communications Security, CCS 2020 - Virtual, Online, United States Duration: 9 Nov 2020 → 13 Nov 2020 |
Publication series
Name | Proceedings of the ACM Conference on Computer and Communications Security |
---|---|
ISSN (Print) | 1543-7221 |
Conference
Conference | 27th ACM SIGSAC Conference on Computer and Communications Security, CCS 2020 |
---|---|
Country/Territory | United States |
City | Virtual, Online |
Period | 9/11/20 → 13/11/20 |
Bibliographical note
Publisher Copyright:© 2020 ACM.
Funding
This material is based upon work supported by DARPA under Contract No. HR001120C0087 and No. N66001-15-C-4066. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of DARPA. This project was conducted when the third and fourth authors were at Ligero Inc.
Funders | Funder number |
---|---|
Defense Advanced Research Projects Agency | HR001120C0087, N66001-15-C-4066 |
Keywords
- IOP
- MPC-in-the-head
- SNARKs
- zero-knowledge