kimchi::circuits::argument

Trait DynArgument

Source 
pub trait DynArgument<F: PrimeField> {
    // Required methods
    fn constraints(&self, cache: &mut Cache) -> Vec<E<F>> ⓘ;
    fn combined_constraints(
        &self,
        alphas: &Alphas<F>,
        cache: &mut Cache,
    ) -> E<F>;
    fn argument_type(&self) -> ArgumentType;
}

Required Methods§

Source

fn constraints(&self, cache: &mut Cache) -> Vec<E<F>> ⓘ

Source

fn combined_constraints(&self, alphas: &Alphas<F>, cache: &mut Cache) -> E<F>

Source

fn argument_type(&self) -> ArgumentType

Implementors§

Source§

impl<F: PrimeField, T: Argument<F>> DynArgument<F> for T