Trait SumcheckPolyBackend 

pub trait SumcheckPolyBackend<P, K>: Backend
where
    K: Field,
    P: SumcheckPolyBase + ComponentPoly<K> + HasBackend<Backend = Self>,
{
    // Required methods
    fn fix_last_variable(poly: P, alpha: K) -> P;
    fn sum_as_poly_in_last_variable(
        poly: &P,
        claim: Option<K>,
    ) -> UnivariatePolynomial<K>;
}

A trait to enable backend implementations of sumcheck polynomials.

An implementation of this trait for a type will imply a crate::SumcheckPoly implementation

Required Methods

fn fix_last_variable(poly: P, alpha: K) -> P

fn sum_as_poly_in_last_variable( poly: &P, claim: Option<K>, ) -> UnivariatePolynomial<K>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<F> SumcheckPolyBackend<Mle<F>, F> for CpuBackend

where F: Field,

fn fix_last_variable(poly: Mle<F, CpuBackend>, alpha: F) -> Mle<F, CpuBackend>

fn sum_as_poly_in_last_variable( poly: &Mle<F, CpuBackend>, claim: Option<F>, ) -> UnivariatePolynomial<F>

Implementors