- Conference Paper
We present a novel lattice-based zero-knowledge proof system for showing that (arbitrary-sized) committed integers satisfy additive and multiplicative relationships. The proof sizes of our schemes are between two to three orders of magnitude smaller than in the lattice proof system of Libert et al. (CRYPTO 2018) for the same relations. Because the proof sizes of our protocols grow linearly in the integer length, our proofs will eventually be longer than those produced by quantum-safe succinct proof systems for general circuits (e.g. Ligero, Aurora, etc.). But for relations between reasonably-sized integers (e.g. 512 -bit), our proofs still result in the smallest zero-knowledge proof system based on a quantum-safe assumption. Of equal importance, the run-time of our proof system is at least an order of magnitude faster than any other quantum-safe scheme. Show more
Book titleProceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security
Pages / Article No.
PublisherAssociation for Computing Machinery
SubjectLattice-based cryptography; zero-knowledge proofs
NotesDue to the Coronavirus (COVID-19) the conference was conducted virtually.
MoreShow all metadata