Implementations§
Trait Implementations§
source§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>,
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>,
source§fn eval_check(
&self,
check: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
code: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
data: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
accum: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
mix: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
out: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
poly_mix: <DualHal<'_, H1, H2> as Hal>::ExtElem,
po2: usize,
steps: usize
)
fn eval_check(
&self,
check: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
code: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
data: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
accum: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
mix: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
out: &<DualHal<'_, H1, H2> as Hal>::BufferElem,
poly_mix: <DualHal<'_, H1, H2> as Hal>::ExtElem,
po2: usize,
steps: usize
)
Compute check polynomial.