Trait snarkvm_wasm::prelude::PRFGadget [−][src]
pub trait PRFGadget<P, F> where
F: Field,
P: PRF, { type OutputGadget: EqGadget<F> + ToBytesGadget<F> + AllocGadget<<P as PRF>::Output, F> + Clone + Debug; fn new_seed<CS>(cs: CS, output: &<P as PRF>::Seed) -> Vec<UInt8, Global>
where
CS: ConstraintSystem<F>; fn check_evaluation_gadget<CS>(
cs: CS,
seed: &[UInt8],
input: &[UInt8]
) -> Result<Self::OutputGadget, SynthesisError>
where
CS: ConstraintSystem<F>; }
Associated Types
type OutputGadget: EqGadget<F> + ToBytesGadget<F> + AllocGadget<<P as PRF>::Output, F> + Clone + Debug
Required methods
fn new_seed<CS>(cs: CS, output: &<P as PRF>::Seed) -> Vec<UInt8, Global> where
CS: ConstraintSystem<F>,
fn check_evaluation_gadget<CS>(
cs: CS,
seed: &[UInt8],
input: &[UInt8]
) -> Result<Self::OutputGadget, SynthesisError> where
CS: ConstraintSystem<F>,