logo
pub fn verify(
    pub_params: &PublicParameters,
    verifier_data: &VerifierData,
    proof: &Proof,
    public_inputs: &[PublicInputValue],
    transcript_init: &'static [u8]
) -> Result<(), Error>
Expand description

Verify the provided proof for the compiled verifier data