Function gpcPostProve

  • gpcPostProve(proof, boundConfig, circuitDesc, proofInputs, circuitOutputs): {
        boundConfig: GPCBoundConfig;
        proof: GPCProof;
        revealedClaims: GPCRevealedClaims;
    }

  • Performs only the post-processing steps of gpcProve, taking in a proof already genereated using the "@pcd/gpcircuits" package, or another user-supplied proving stack. The circuit-specific outputs are processed into the GPCRevealedClaims to produce the normal output of gpcProve.

    The config and inputs are assumed to have already been processed by gpcPreProve, so will not be fully validated by this function. See gpcProve for more details on inputs, outputs and operation.

    Parameters

    • proof: Groth16Proof

      the Groth16 proof

    • boundConfig: GPCBoundConfig

      the bound configuration specifying the constraints proven, and the specific circuit which was used.

    • circuitDesc: ProtoPODGPCCircuitDesc

      the parameters of the circuit used for the proof.

    • proofInputs: GPCProofInputs

      the input data (PODs and other values) specific to this proof.

    • circuitOutputs: ProtoPODGPCOutputs

    Returns {
        boundConfig: GPCBoundConfig;
        proof: GPCProof;
        revealedClaims: GPCRevealedClaims;
    }

    The Groth16 proof, a bound configuration usable for reliable verification or future proofs (see GPCBoundConfig), and the revealed claims of this proof (see GPCRevealedClaims).

    Throws

    TypeError if any of the arguments is malformed

    Throws

    Error if it is impossible to create a valid proof

Settings

Member Visibility

Theme

Generated using TypeDoc