Circuits and verification algorithm of proofs

Circuits and verification algorithm of proofs