Converts a high-level description of a GPC proof to be generated into
the specific circuit signals needed to generate the proof with a specific
circuit.
This code assumes that the arguments have already been checked to be
well-formed represent a valid proof configuration using
checkProofArgs, and that the selected circuit fits the requirements
of the proof using checkCircuitParameters. Any invalid input might
result in errors thrown from TypeScript, or might simply result in a failure
to generate a proof.
Converts a high-level description of a GPC proof to be generated into the specific circuit signals needed to generate the proof with a specific circuit.
This code assumes that the arguments have already been checked to be well-formed represent a valid proof configuration using checkProofArgs, and that the selected circuit fits the requirements of the proof using checkCircuitParameters. Any invalid input might result in errors thrown from TypeScript, or might simply result in a failure to generate a proof.