ZK-CEC is the first framework to prove functional equivalence between a secret circuit design and a public specification using zero-knowledge proofs while revealing only proof size.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Proving Circuit Functional Equivalence in Zero Knowledge
ZK-CEC is the first framework to prove functional equivalence between a secret circuit design and a public specification using zero-knowledge proofs while revealing only proof size.