the configuration specifying the constraints to be proven.
the input data (PODs and other values) specific to this proof.
Optional circuitFamily: GPCCircuitFamily = DefaultCircuitFamilythe circuit family to pick the circuit from. This must be sorted in order of increasing circuit size (constraint count).
info necessary to generate a proof with a specific circuit, including the bound proof config, circuit description, and its public and private input signals
TypeError if any of the arguments is malformed
Error if it is impossible to create a valid proof
Generated using TypeDoc
Performs only the preparatory steps of gpcProve, returning all of the circuit-related info needed to generate a proof using the "@pcd/gpcircuits" package, or another user-supplied proving stack.
Inputs will be fully validated for structural soundness in the same way as when generating a proof. See gpcProve for more details on inputs and operation.