Struct CpuHal 

pub struct CpuHal<F: Field> { /* private fields */ }

Available on crate feature prove only.

Implementations

impl<F: Field> CpuHal<F>

pub fn new(suite: HashSuite<F>) -> Self

Trait Implementations

impl<F: Field> Hal for CpuHal<F>

type Field = F

type Elem = <F as Field>::Elem

type ExtElem = <F as Field>::ExtElem

type Buffer<T: Clone + Debug + PartialEq> = CpuBuffer<T>

fn alloc_elem( &self, name: &'static str, size: usize, ) -> Self::Buffer<Self::Elem>

fn copy_from_elem( &self, name: &'static str, slice: &[Self::Elem], ) -> Self::Buffer<Self::Elem>

fn alloc_extelem( &self, name: &'static str, size: usize, ) -> Self::Buffer<Self::ExtElem>

fn copy_from_extelem( &self, name: &'static str, slice: &[Self::ExtElem], ) -> Self::Buffer<Self::ExtElem>

fn alloc_digest(&self, name: &'static str, size: usize) -> Self::Buffer<Digest>

fn copy_from_digest( &self, name: &'static str, slice: &[Digest], ) -> Self::Buffer<Digest>

fn alloc_u32(&self, name: &'static str, size: usize) -> Self::Buffer<u32>

fn copy_from_u32(&self, name: &'static str, slice: &[u32]) -> Self::Buffer<u32>

fn batch_expand_into_evaluate_ntt( &self, output: &Self::Buffer<Self::Elem>, input: &Self::Buffer<Self::Elem>, count: usize, expand_bits: usize, )

fn batch_interpolate_ntt(&self, io: &Self::Buffer<Self::Elem>, count: usize)

fn batch_bit_reverse(&self, io: &Self::Buffer<Self::Elem>, count: usize)

fn batch_evaluate_any( &self, coeffs: &Self::Buffer<Self::Elem>, poly_count: usize, which: &Self::Buffer<u32>, xs: &Self::Buffer<Self::ExtElem>, out: &Self::Buffer<Self::ExtElem>, )

fn zk_shift(&self, io: &Self::Buffer<Self::Elem>, poly_count: usize)

fn mix_poly_coeffs( &self, output: &Self::Buffer<Self::ExtElem>, mix_start: &Self::ExtElem, mix: &Self::ExtElem, input: &Self::Buffer<Self::Elem>, combos: &Self::Buffer<u32>, input_size: usize, count: usize, )

fn eltwise_add_elem( &self, output: &Self::Buffer<Self::Elem>, input1: &Self::Buffer<Self::Elem>, input2: &Self::Buffer<Self::Elem>, )

fn eltwise_sum_extelem( &self, output: &Self::Buffer<Self::Elem>, input: &Self::Buffer<Self::ExtElem>, )

fn eltwise_copy_elem( &self, output: &Self::Buffer<Self::Elem>, input: &Self::Buffer<Self::Elem>, )

fn eltwise_zeroize_elem(&self, elems: &Self::Buffer<Self::Elem>)

fn fri_fold( &self, output: &Self::Buffer<Self::Elem>, input: &Self::Buffer<Self::Elem>, mix: &Self::ExtElem, )

fn hash_rows( &self, output: &Self::Buffer<Digest>, matrix: &Self::Buffer<Self::Elem>, )

fn hash_fold( &self, io: &Self::Buffer<Digest>, input_size: usize, output_size: usize, )

fn gather_sample( &self, dst: &Self::Buffer<Self::Elem>, src: &Self::Buffer<Self::Elem>, idx: usize, size: usize, stride: usize, )

fn scatter( &self, into: &Self::Buffer<Self::Elem>, index: &[u32], offsets: &[u32], values: &[Self::Elem], )

fn eltwise_copy_elem_slice( &self, into: &Self::Buffer<Self::Elem>, from: &[Self::Elem], from_rows: usize, from_cols: usize, from_offset: usize, from_stride: usize, into_offset: usize, into_stride: usize, )

fn prefix_products(&self, io: &Self::Buffer<Self::ExtElem>)

fn has_unified_memory(&self) -> bool

fn get_hash_suite(&self) -> &HashSuite<Self::Field>

const CHECK_SIZE: usize = _

fn alloc_elem_init( &self, name: &'static str, size: usize, value: Self::Elem, ) -> Self::Buffer<Self::Elem>

fn alloc_extelem_zeroed( &self, name: &'static str, size: usize, ) -> Self::Buffer<Self::ExtElem>

fn combos_prepare( &self, combos: &Self::Buffer<Self::ExtElem>, coeff_u: &[Self::ExtElem], combo_count: usize, cycles: usize, reg_sizes: &[u32], reg_combo_ids: &[u32], mix: &Self::ExtElem, )

fn combos_divide( &self, combos: &Self::Buffer<Self::ExtElem>, chunks: Vec<(usize, Vec<Self::ExtElem>)>, cycles: usize, )