the raw proof config to bind.
a new configuration object bound and canonicalized (see GPCBoundConfig), as well as a description of selected circuit.
TypeError if the input configuration is malformed
Error if the requirements of the given configuration are impossible to meet with the given circuit
Generated using TypeDoc
Checks, binds, and canonicalizes a GPCProofConfig so it can be reused for multiple proofs. See GPCBoundConfig for more details.
If the config specifies a specific circuit identifier, that circuit will be used to bind. Otherwise this function will pick the smallest circuit which fits the config.
Note that this function does not necessarily produce a configuration that will work for all possible inputs. In particular the max POD size supported by an auto-selected circuit might not be sufficient for all inputs. If you anticipate a larger size, you should pick your circuit explicitly using
proofConfig.circuitIdentifier. (See ProtoPODGPC.CIRCUIT_FAMILY for supported circuits.)