Commitments and Proofs
Ideal functionalities for commitments and zero-knowledge proof systems, including succinct (SNARK) and accumulator-based variants.
| Functionality | Status | Definition |
|---|---|---|
| F-COM — Commitment | Canonical | Defined |
| F-CP — Commit-and-prove | Canonical | Defined |
| F-MCOM — Multi-session commitment | Canonical | Defined |
| F-NIZK — Non-interactive zero knowledge | Canonical | Defined |
| F-NMCOM — Non-malleable commitment | Canonical | No canonical definition |
| F-SNARK — Weak NIZK, maulable arguments | Canonical | Defined |
| F-ZK — Zero knowledge | Canonical | Defined |
| F-acc — Accumulator | Canonical | Defined |
| F-eqv — Equivocal, adaptively secure commitment | Canonical | No canonical definition |
No matching items