Module storage_proofs::compound_proof

Structs

PublicParams
SetupParams

Traits

CircuitComponent

CircuitComponent exists so parent components can pass private inputs to their subcomponents when calling CompoundProof::circuit directly. In general, there are no internal private inputs, and a default value will be passed. CompoundProof::circuit implementations should exhibit default behavior when passed a default ComponentPrivateinputs.

CompoundProof

The CompoundProof trait bundles a proof::ProofScheme and a bellperson::Circuit together. It provides methods equivalent to those provided by proof::ProofScheme (setup, prove, verify). See documentation at proof::ProofScheme for details. Implementations should generally only need to supply circuit and generate_public_inputs. The remaining trait methods are used internally and implement the necessary plumbing.