Struct risc0_zkp::verify::CpuVerifyHal

pub struct CpuVerifyHal<'a, F: Field, HS: HashSuite<F>, C: PolyExt<F>> { /* private fields */ }

Implementations

impl<'a, F: Field, HS: HashSuite<F>, C: PolyExt<F>> CpuVerifyHal<'a, F, HS, C>

pub fn new(circuit: &'a C) -> Self

Trait Implementations

impl<'a, F: Field, HS: HashSuite<F>, C: PolyExt<F>> VerifyHal for CpuVerifyHal<'a, F, HS, C>

type Hash = <HS as HashSuite<F>>::Hash

type Rng = <HS as HashSuite<F>>::Rng

type Elem = <F as Field>::Elem

type ExtElem = <F as Field>::ExtElem

type Field = F

fn debug(&self, msg: &str)

fn fold_eval( &self, io: &mut [Self::ExtElem; 16], 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.

fn compute_polynomial( &self, u: &[Self::ExtElem], poly_mix: Self::ExtElem, out: &[Self::Elem], mix: &[Self::Elem] ) -> Self::ExtElem

fn fri_eval_taps( &self, taps: &TapSet<'static>, mix: Self::ExtElem, combo_u: &[Self::ExtElem], check_row: &[Self::Elem], back_one: Self::Elem, x: Self::Elem, z: Self::ExtElem, rows: [&[Self::Elem]; 3] ) -> Self::ExtElem

const CHECK_SIZE: usize = _