K Yang, X Wang - … on the Theory and Application of …, 2022 - scholars.northwestern.edu
In this paper, we study zero-knowledge (ZK) proofs for circuit satisfiability that can prove to n
verifiers at a time efficiently. The proofs are secure against the collusion of a prover and a …