Trait folding::checker::Checker

source · 
pub trait Checker<C: FoldingConfig>: Provide<C> {
    // Provided methods
    fn check_rec(
        &self,
        exp: FoldingCompatibleExpr<C>,
        domain: Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField>
    ) -> Vec<<C::Curve as AffineRepr>::ScalarField> { ... }
    fn check(
        &self,
        exp: &FoldingCompatibleExpr<C>,
        domain: Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField>
    ) { ... }
}

Provided Methods§

source

fn check_rec( &self, exp: FoldingCompatibleExpr<C>, domain: Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField> ) -> Vec<<C::Curve as AffineRepr>::ScalarField>

source

fn check( &self, exp: &FoldingCompatibleExpr<C>, domain: Radix2EvaluationDomain<<C::Curve as AffineRepr>::ScalarField> )

Implementors§