Struct FastKernelBuilder

pub struct FastKernelBuilder<T, P>(/* private fields */);

Trait Implementations

impl<T: Debug, P: Debug> Debug for FastKernelBuilder<T, P>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T, P> Default for FastKernelBuilder<T, P>

fn default() -> Self

Returns the “default value” for a type.

impl<T: TowerFamily, P: PackedTop<T>> KernelExecutor<<T as TowerFamily>::B128> for FastKernelBuilder<T, P>

type Mem = PackedMemory<P>

The type for kernel-local memory buffers.

type Value = <T as TowerFamily>::B128

The kernel(core)-level operation (scalar) type. This is a promise for a returned value.

type ExprEval = ArithCircuitPoly<<T as TowerFamily>::B128>

The evaluator for arithmetic expressions (polynomials).

fn decl_value(&mut self, init: T::B128) -> Result<Self::Value, Error>

Declares a kernel-level value.

fn sum_composition_evals( &mut self, inputs: &SlicesBatch<<Self::Mem as ComputeMemory<T::B128>>::FSlice<'_>>, composition: &Self::ExprEval, batch_coeff: T::B128, accumulator: &mut Self::Value, ) -> Result<(), Error>

A kernel-local operation that evaluates a composition polynomial over several buffers, row-wise, and returns the sum of the evaluations, scaled by a batching coefficient.

fn add( &mut self, log_len: usize, src1: <Self::Mem as ComputeMemory<T::B128>>::FSlice<'_>, src2: <Self::Mem as ComputeMemory<T::B128>>::FSlice<'_>, dst: &mut <Self::Mem as ComputeMemory<T::B128>>::FSliceMut<'_>, ) -> Result<(), Error>

A kernel-local operation that performs point-wise addition of two input buffers into an output buffer.

fn add_assign( &mut self, log_len: usize, src: <Self::Mem as ComputeMemory<T::B128>>::FSlice<'_>, dst: &mut <Self::Mem as ComputeMemory<T::B128>>::FSliceMut<'_>, ) -> Result<(), Error>

A kernel-local operation that adds a source buffer into a destination buffer, in place.