Home > Cryptographic Primitives
Cryptographic Primitives¶
Low-level building blocks that ZKP proof systems are built upon — commitment schemes, sigma protocols, and specialized ZK constructions.
Contents¶
| Note | Description |
|---|---|
| Pedersen Commitments | Hiding and binding commitment scheme based on discrete log (1991) |
| Camenisch-Michels Safe Primes | Efficient proofs of knowledge over RSA-group elements (1999) |
| Proof Systems for DL | Camenisch/Stadler framework for discrete-log-based proofs (1997) |
| Sigma Protocols (Damgard) | Formal treatment of 3-move honest-verifier ZK proofs (2010) |
| Sigma Protocols (Proposal) | Krenn et al. compositional sigma-protocol proposal (2021) |
| ZKAttest | ZK attestation using ECDSA / secp256k1 (2022) |