folding::checker

Trait Provide

Source 
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§

Source

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

Implementors§

Source§

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

Source§

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