Trait folding::checker::Provide

pub trait Provide<C: FoldingConfig> {
    // Required method
    fn resolve(
        &self,
        inner: FoldingCompatibleExprInner<C>,
        domain: Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField>
    ) -> Vec<<C::Curve as AffineRepr>::ScalarField>;
}

Required Methods

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

Implementors

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>,

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>,