Function dusk_plonk::circuit::verify
source · [−]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