Struct ProductCircuitLayers

pub struct ProductCircuitLayers<'a, F: TowerField, DevMem: ComputeMemory<F>> { /* private fields */ }

The computed layer evaluations of a product tree circuit.

Implementations

impl<'a, F: TowerField, DevMem: ComputeMemory<F>> ProductCircuitLayers<'a, F, DevMem>

pub fn product(&self) -> F

The product of the evaluations.

impl<'a, F, DevMem> ProductCircuitLayers<'a, F, DevMem>

where F: TowerField, DevMem: ComputeMemory<F>,

pub fn compute<'dev_mem, 'host_mem, Hal>( evals: FSlice<'a, F, Hal>, hal: &'a Hal, dev_alloc: &'a BumpAllocator<'dev_mem, F, Hal::DevMem>, host_alloc: &'a HostBumpAllocator<'host_mem, F>, ) -> Result<Self, Error>

where Hal: ComputeLayer<F, DevMem = DevMem>,

Computes the full sequence of GKR layers of the binary product circuit.

Throws

• Error::ExpectInputSlicePowerOfTwoLength unless evals has power-of-two length

pub fn layers(&self) -> &[DevMem::FSlice<'a>]

Returns the layer evaluations of the product tree circuit.

The $i$’th entry has $2^{i+1}$ values.