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 | Not yet written |
| F-MCOM — Multi-session commitment | Canonical | Defined |
| F-NIZK — Non-interactive zero knowledge | Canonical | Not yet written |
| F-NMCOM — Non-malleable commitment | Canonical | Not yet written |
| F-SNARK — Witness-succinct UC NIZK | Canonical | Not yet written |
| F-ZK — Zero knowledge | Canonical | Defined |
| F-acc — Accumulator, vector commitment | Canonical | Not yet written |
| F-eqv — Equivocal, adaptively secure commitment | Canonical | Not yet written |
No matching items