Skip to main content

Circuit

A formal representation of the computation or constraints that a zero-knowledge prover must demonstrate were satisfied.

Definition

A formal representation of the computation or constraints that a zero-knowledge prover must demonstrate were satisfied.

Why it matters

Zero-knowledge systems enable verification of claims or computation while minimizing disclosure of underlying information.
Canonical knowledge ID: glossary:circuit