Proving membership or non-membership is a problem that occurs often in practical applications. This session provides cryptographic tools for handling such problems.
Topic 1: Revisiting Cryptographic Accumulators, Additional Properties and Relations to other Primitives
Authors: David Derler, Christian Hanser, Daniel Slamanig
Topic 2: Non-Interactive Zero-Knowledge Proofs of Non-Membership
Authors: Olivier Blazy, Céline Chevalier, Damien Vergnaud