Struct folding::checker::Provider

pub struct Provider<C: FoldingConfig> {
    pub instance: C::Instance,
    pub witness: C::Witness,
}

Fields

instance: C::Instance

witness: C::Witness

Implementations

impl<C: FoldingConfig> Provider<C>

pub fn new(instance: C::Instance, witness: C::Witness) -> Self

Trait Implementations

impl<C: FoldingConfig> Provide<C> for Provider<C>where C::Witness: Index<C::Column, Output = Evaluations<<C::Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField>>> + Index<C::Selector, Output = Evaluations<<C::Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField>>>, C::Instance: Index<C::Challenge, Output = <C::Curve as AffineRepr>::ScalarField>,

fn resolve( &self, inner: FoldingCompatibleExprInner<C>, domain: Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField> ) -> Vec<<C::Curve as AffineRepr>::ScalarField>