Trait snarkvm_gadgets::traits::algorithms::prf::PRFGadget

pub trait PRFGadget<P: PRF, F: Field> {
    type OutputGadget: EqGadget<F> + ToBytesGadget<F> + AllocGadget<P::Output, F> + Clone + Debug;
    fn new_seed<CS: ConstraintSystem<F>>(cs: CS, output: &P::Seed) -> Vec<UInt8>;
    fn check_evaluation_gadget<CS: ConstraintSystem<F>>(
        cs: CS, 
        seed: &[UInt8], 
        input: &[UInt8]
    ) -> Result<Self::OutputGadget, SynthesisError>;
}

Associated Types

type OutputGadget: EqGadget<F> + ToBytesGadget<F> + AllocGadget<P::Output, F> + Clone + Debug

Required methods

fn new_seed<CS: ConstraintSystem<F>>(cs: CS, output: &P::Seed) -> Vec<UInt8>

fn check_evaluation_gadget<CS: ConstraintSystem<F>>(
    cs: CS,
    seed: &[UInt8],
    input: &[UInt8]
) -> Result<Self::OutputGadget, SynthesisError>

Implementors

impl<F: PrimeField> PRFGadget<Blake2s, F> for Blake2sGadget