Succinct Zero-Knowledge Batch Proofs for Set Accumulators

October 18, 2022

Dimitris Kolonelos


Succinct Zero-Knowledge Batch Proofs for Set Accumulators

Time:   11:00am
Location:   Meeting room 302
Virtual transmission:   Zoom3 https://zoom.us/j/3911012202
Pass:   @s3

Cryptographic accumulators are a common solution to proving information about a large set . They allow to compute a short digest of and short certificates of some of its basic properties, notably membership of an element. Accumulators also allow to track set updates: a new accumulator is obtained by inserting/deleting a given element. In this work we consider the problem of generating membership and update proofs for batches of elements so that we can succinctly prove additional properties of the elements (i.e., proofs are of constant size regardless of the batch size), and we can preserve privacy. Solving this problem would allow to obtain blockchain systems with improved privacy and scalability.