Trait risc0_zkp::hal::EvalCheck

pub trait EvalCheck<H: Hal> {
    fn eval_check(
        &self,
        check: &H::BufferElem,
        code: &H::BufferElem,
        data: &H::BufferElem,
        accum: &H::BufferElem,
        mix: &H::BufferElem,
        out: &H::BufferElem,
        poly_mix: H::ExtElem,
        po2: usize,
        steps: usize
    );
}

Required Methods

fn eval_check(
    &self,
    check: &H::BufferElem,
    code: &H::BufferElem,
    data: &H::BufferElem,
    accum: &H::BufferElem,
    mix: &H::BufferElem,
    out: &H::BufferElem,
    poly_mix: H::ExtElem,
    po2: usize,
    steps: usize
)

Compute check polynomial.

Implementors

impl<'a, H1, H2, E1, E2> EvalCheck<DualHal<'a, H1, H2>> for DualEvalCheck<'a, H1, H2, E1, E2>where
    H1: Hal,
    E1: EvalCheck<H1>,
    H2: Hal,
    E2: EvalCheck<H2>,
    H1::BufferElem: Buffer<H2::Elem>,
    H1::BufferExtElem: Buffer<H2::ExtElem>,
    H2::BufferElem: Buffer<H1::Elem>,
    H2::BufferExtElem: Buffer<H1::ExtElem>,