pub trait ZerocheckCpuBackendHelper<F, PW, FDomain>{
// 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) { ... }
}
Expand description
A callback interface to handle the zerocheck computation on the CPU.
Required Methods§
sourcefn handle_zerocheck_round(
&mut self,
params: &ZerocheckRoundParameters,
input: &ZerocheckRoundInput<'_, F, PW, FDomain>
) -> Result<Vec<PW::Scalar>, Error>
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§
sourcefn remove_smaller_domain_optimization(&mut self)
fn remove_smaller_domain_optimization(&mut self)
Drop smaller_domain_optimization
.