Skip to content

Home > Tags > commit-and-prove

Commit-and-Prove

Description

Tags commit-and-prove SNARKs (CP-SNARKs) — proof systems that prove statements about values already committed to by a separate commitment scheme, enabling modular composition of proof systems.

Canonical entries

ProofSystems/LegoGroth16

Entries tagged