Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators
Shravan Srinivasan, Ioanna Karantaidou, Foteini Baldimtsi, Charalampos Papamanthou
2022Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security22 citationsDOI
Abstract
An accumulator is a cryptographic primitive that allows a prover to succinctly commit to a set of values while being able to provide proofs of (non-)membership. A batch proof is an accumulator proof that can be used to prove (non-)membership of multiple values simultaneously.
Topics & Concepts
Accumulator (cryptography)Mathematical proofGas meter proverCommitZero-knowledge proofCryptographyComputer scienceHydraulic accumulatorCryptographic primitiveTheoretical computer scienceSet (abstract data type)Discrete mathematicsMathematicsAlgorithmProgramming languageCryptographic protocolPhysicsGeometryThermodynamicsDatabaseCryptography and Data SecurityComplexity and Algorithms in GraphsSecurity and Verification in Computing