Trait Checker

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

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

Implementors