Trait snarkvm_wasm::traits::algorithms::snark::SNARKVerifierGadget

pub trait SNARKVerifierGadget<N, F> where
    N: SNARK,
    F: Field, {
    type VerificationKeyGadget: AllocGadget<<N as SNARK>::VerifyingKey, F> + AllocBytesGadget<Vec<u8, Global>, F> + ToBytesGadget<F>;
    type ProofGadget: AllocGadget<<N as SNARK>::Proof, F> + AllocBytesGadget<Vec<u8, Global>, F>;
    type Input: ToBitsBEGadget<F> + Clone + ?Sized;
    fn check_verify<CS, I>(
        cs: CS, 
        verification_key: &Self::VerificationKeyGadget, 
        input: I, 
        proof: &Self::ProofGadget
    ) -> Result<(), SynthesisError>
    where
        CS: ConstraintSystem<F>,
        I: Iterator<Item = Self::Input>;
}

Associated Types

type VerificationKeyGadget: AllocGadget<<N as SNARK>::VerifyingKey, F> + AllocBytesGadget<Vec<u8, Global>, F> + ToBytesGadget<F>

type ProofGadget: AllocGadget<<N as SNARK>::Proof, F> + AllocBytesGadget<Vec<u8, Global>, F>

type Input: ToBitsBEGadget<F> + Clone + ?Sized

Required methods

fn check_verify<CS, I>(
    cs: CS,
    verification_key: &Self::VerificationKeyGadget,
    input: I,
    proof: &Self::ProofGadget
) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<F>,
    I: Iterator<Item = Self::Input>, 

Implementors