Struct risc0_zkp::verify::CpuVerifyHal
source · Implementations§
Trait Implementations§
source§impl<'a, S: Sha, F: Field, C: PolyExt<F>> VerifyHal for CpuVerifyHal<'a, S, F, C>
impl<'a, S: Sha, F: Field, C: PolyExt<F>> VerifyHal for CpuVerifyHal<'a, S, F, C>
type Sha = S
type Elem = <F as Field>::Elem
type ExtElem = <F as Field>::ExtElem
fn sha(&self) -> &Self::Sha
fn debug(&self, msg: &str)
fn fold_eval(
&self,
io: &mut [Self::ExtElem; 16],
x: Self::ExtElem
) -> Self::ExtElem
source§fn poly_eval(&self, coeffs: &[Self::ExtElem], x: Self::ExtElem) -> Self::ExtElem
fn poly_eval(&self, coeffs: &[Self::ExtElem], x: Self::ExtElem) -> Self::ExtElem
Evaluate a polynomial whose coefficients are in the extension field at a
point.