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

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

Associated Types

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

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

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

Required methods

fn check_evaluation_gadget<CS: ConstraintSystem<F>>(
    cs: CS,
    seed: &Self::Seed,
    input: &Self::Input
) -> Result<Self::Output, SynthesisError>

Implementors

impl<F: PrimeField + PoseidonDefaultParametersField, const RATE: usize, const OPTIMIZED_FOR_WEIGHTS: bool> PRFGadget<PoseidonPRF<F, RATE, OPTIMIZED_FOR_WEIGHTS>, F> for PoseidonPRFGadget<F, RATE, OPTIMIZED_FOR_WEIGHTS>

type Input = Vec<FpGadget<F>>

type Output = FpGadget<F>

type Seed = FpGadget<F>