Function gpcPreVerify

  • gpcPreVerify(boundConfig, revealedClaims, circuitFamily?): {
        circuitDesc: ProtoPODGPCCircuitDesc;
        circuitOutputs: ProtoPODGPCOutputs;
        circuitPublicInputs: ProtoPODGPCPublicInputs;
    }

  • Performs only the preparatory steps of gpcVerify, returning all of the circuit-related info needed to verify a proof using the "@pcd/gpcircuits" package, or another user-supplied verification stack.

    Inputs will be fully validated for structural soundness, but not cryptographically. See gpcVerify for more details on inputs and operation.

    Parameters

    • boundConfig: GPCBoundConfig

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

    • revealedClaims: GPCRevealedClaims

      the revealed parts of the proof inputs and outputs.

    • Optional circuitFamily: GPCCircuitFamily = DefaultCircuitFamily

      the circuit family to pick the circuit from. This must be sorted in order of increasing circuit size (constraint count).

    Returns {
        circuitDesc: ProtoPODGPCCircuitDesc;
        circuitOutputs: ProtoPODGPCOutputs;
        circuitPublicInputs: ProtoPODGPCPublicInputs;
    }

    info necessary to verify a proof with a specific circuit, including the circuit description, and its public input and output signals

    Throws

    TypeError if any of the arguments is malformed

    Throws

    Error if the proof cannot be verified

Settings

Member Visibility

Theme

Generated using TypeDoc