Struct folding::checker::ExtendedProvider

pub struct ExtendedProvider<C: FoldingConfig> {
    pub inner_provider: Provider<C>,
    pub instance: RelaxedInstance<<C as FoldingConfig>::Curve, <C as FoldingConfig>::Instance>,
    pub witness: RelaxedWitness<<C as FoldingConfig>::Curve, <C as FoldingConfig>::Witness>,
}

Fields

inner_provider: Provider<C>

instance: RelaxedInstance<<C as FoldingConfig>::Curve, <C as FoldingConfig>::Instance>

witness: RelaxedWitness<<C as FoldingConfig>::Curve, <C as FoldingConfig>::Witness>

Implementations

impl<C: FoldingConfig> ExtendedProvider<C>

pub fn new( instance: RelaxedInstance<C::Curve, C::Instance>, witness: RelaxedWitness<C::Curve, C::Witness> ) -> Self

Trait Implementations

impl<C: FoldingConfig> Provide<C> for ExtendedProvider<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>