Proof Composition¶
Description¶
Tags techniques and systems for composing multiple zero-knowledge proofs — combining sigma protocols via AND/OR rules, commit-and-prove frameworks, or proof system interoperability.
Canonical entries¶
→ TheoreticalModels/ZK-Proof-Taxonomy