Trait snarkvm_wasm::traits::algorithms::snark::SNARKVerifierGadget [−][src]
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
I: Iterator<Item = Self::Input>,
CS: ConstraintSystem<F>; }
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
I: Iterator<Item = Self::Input>,
CS: ConstraintSystem<F>,