Trait binius_hal::zerocheck::ZerocheckCpuBackendHelper

pub trait ZerocheckCpuBackendHelper<F, PW, FDomain>
where
    F: Field,
    PW: PackedField,
    PW::Scalar: From<F> + Into<F>,
    FDomain: Field,
{
    // Required method
    fn handle_zerocheck_round(
        &mut self,
        params: &ZerocheckRoundParameters,
        input: &ZerocheckRoundInput<'_, F, PW, FDomain>
    ) -> Result<Vec<PW::Scalar>, Error>;

    // Provided method
    fn remove_smaller_domain_optimization(&mut self) { ... }
}

A callback interface to handle the zerocheck computation on the CPU.

Required Methods

fn handle_zerocheck_round( &mut self, params: &ZerocheckRoundParameters, input: &ZerocheckRoundInput<'_, F, PW, FDomain> ) -> Result<Vec<PW::Scalar>, Error>

Perform the zerocheck evaluation for this round, and convert them to coefficients.

Provided Methods

fn remove_smaller_domain_optimization(&mut self)

Drop smaller_domain_optimization.

Implementors