Struct dusk_hades::strategies::gadget::GadgetStrategy

pub struct GadgetStrategy<'a> {
    pub cs: &'a mut StandardComposer,
    // some fields omitted
}

Implements a Hades252 strategy for Variable as input values. Requires a reference to a ConstraintSystem.

Fields

cs: &'a mut StandardComposer

A reference to the constraint system used by the gadgets

Implementations

impl<'a> GadgetStrategy<'a>

pub fn new(cs: &'a mut StandardComposer) -> Self

Constructs a new GadgetStrategy with the constraint system.

pub fn hades_gadget(composer: &'a mut StandardComposer, x: &mut [Variable])

Perform the hades permutation on a plonk circuit

Trait Implementations

impl<'a> Strategy<Variable> for GadgetStrategy<'a>

fn add_round_key<'b, I>(&mut self, constants: &mut I, words: &mut [Variable]) where
    I: Iterator<Item = &'b BlsScalar>, 

Add round keys to a set of StrategyInput.

fn quintic_s_box(&mut self, value: &mut Variable)

Computes input ^ 5 (mod Fp)

fn mul_matrix<'b, I>(&mut self, constants: &mut I, values: &mut [Variable]) where
    I: Iterator<Item = &'b BlsScalar>, 

Adds a constraint for each matrix coefficient multiplication

fn next_c<'b, I>(constants: &mut I) -> BlsScalar where
    I: Iterator<Item = &'b BlsScalar>, 

Fetch the next round constant from an iterator

fn apply_partial_round<'b, I>(&mut self, constants: &mut I, words: &mut [T]) where
    I: Iterator<Item = &'b BlsScalar>, 

Applies a Partial Round also known as a Partial S-Box layer to a set of inputs.

fn apply_full_round<'a, I>(&mut self, constants: &mut I, words: &mut [T]) where
    I: Iterator<Item = &'a BlsScalar>, 

Applies a Full Round also known as a Full S-Box layer to a set of inputs.

fn perm(&mut self, data: &mut [T])

Applies a permutation-round of the Hades252 strategy.

fn rounds() -> usize

Return the total rounds count