Struct StatefulRescueGadget

pub struct StatefulRescueGadget<E: RescueEngine> { /* private fields */ }

Implementations

impl<E: RescueEngine> StatefulRescueGadget<E>

where <<E as RescueEngine>::Params as RescueHashParams<E>>::SBox0: PlonkCsSBox<E>, <<E as RescueEngine>::Params as RescueHashParams<E>>::SBox1: PlonkCsSBox<E>,

pub fn new(params: &E::Params) -> Self

pub fn rescue_mimc_over_nums<CS: ConstraintSystem<E>>( cs: &mut CS, state: &[Num<E>], params: &E::Params, ) -> Result<Vec<Num<E>>, SynthesisError>

pub fn rescue_mimc_over_lcs<CS: ConstraintSystem<E>>( cs: &mut CS, state: &[LinearCombination<E>], params: &E::Params, ) -> Result<Vec<LinearCombination<E>>, SynthesisError>

pub fn specizalize(&mut self, dst: u8)

pub fn absorb_single_value<CS: ConstraintSystem<E>>( &mut self, cs: &mut CS, value: Num<E>, params: &E::Params, ) -> Result<(), SynthesisError>

pub fn absorb<CS: ConstraintSystem<E>>( &mut self, cs: &mut CS, input: &[AllocatedNum<E>], params: &E::Params, ) -> Result<(), SynthesisError>

pub fn absorb_nums<CS: ConstraintSystem<E>>( &mut self, cs: &mut CS, input: &[Num<E>], params: &E::Params, ) -> Result<(), SynthesisError>

pub fn squeeze_out_single<CS: ConstraintSystem<E>>( &mut self, cs: &mut CS, params: &E::Params, ) -> Result<LinearCombination<E>, SynthesisError>

pub fn pad_if_necessary( &mut self, params: &E::Params, ) -> Result<(), SynthesisError>

Trait Implementations

impl<E: Clone + RescueEngine> Clone for StatefulRescueGadget<E>

fn clone(&self) -> StatefulRescueGadget<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + RescueEngine> Debug for StatefulRescueGadget<E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.