mina_tree::proofs::step::step_verifier

Trait PlonkDomain

Source 
pub trait PlonkDomain<F: FieldWitness> {
    // Required methods
    fn vanishing_polynomial(&self, x: F, w: &mut Witness<F>) -> F;
    fn generator(&self) -> F;
    fn shifts(&self) -> &[F; 7];
    fn log2_size(&self) -> u64;
}

Required Methods§

Source

fn vanishing_polynomial(&self, x: F, w: &mut Witness<F>) -> F

Source

fn generator(&self) -> F

Source

fn shifts(&self) -> &[F; 7]

Source

fn log2_size(&self) -> u64

Implementors§