Trait kimchi::circuits::expr::AlphaChallengeTerm

pub trait AlphaChallengeTerm<'a>: Copy + Clone + Debug + PartialEq + Eq + Serialize + Deserialize<'a> + Display {
    const ALPHA: Self;
}

The Challenge term that contains an alpha. Is used to make a random linear combination of constraints

Required Associated Constants

const ALPHA: Self

Implementors

impl<'a> AlphaChallengeTerm<'a> for BerkeleyChallengeTerm

const ALPHA: Self = Self::Alpha