the configuration for the proof
the revealed inputs and outputs from the proof
the description of the specific circuit to use for the proof.
circuit public input and output signals which match what was produced at proving time
Generated using TypeDoc
Converts a high-level description of a GPC proof already generated into the specific circuit signals needed to verify the proof with a specific circuit.
This code assumes that the arguments have already been checked using checkVerifyArgs, and their requirements have already been checked using checkCircuitParameters. This function doesn't duplicate any checking, so invalid input might result in errors thrown from TypeScript, or might simply result in a failure to verify a proof.