Skip to main content

OR-aggregation Primitive

Definition

An OR-aggregation primitive is a cryptographic tool that allows multiple independent proofs, each asserting a different statement, to be combined into a single, compact proof. This combined proof verifies that at least one of the original statements is true, without revealing which specific statement holds. It significantly reduces the computational and storage overhead associated with verifying multiple proofs individually. Such primitives are valuable for constructing efficient and privacy-preserving systems.