Struct FractionalInputSize 

pub struct FractionalInputSize {
    pub real_len: usize,
    pub logical_len: usize,
}

Fields

real_len: usize

logical_len: usize

Implementations

impl FractionalInputSize

pub fn new(real_len: usize, logical_len: usize) -> Self

pub fn dense(len: usize) -> Self

pub fn peak_work_buffer_bytes(&self) -> usize

Peak work-buffer bytes (excluding the S_frac * real_len layer/input buffer).

This must stay in sync with max_work_size in fractional_sumcheck_gpu and the precompute-M EF auxiliary allocations. If the sumcheck implementation changes, this method must be updated as well — it is the source of truth for batching budgets that depend on the fractional-GKR peak. Also update the conservative interaction memory estimate in openvm_stark_backend::memory_metering.

Formula (FoldEval path, dominates for large inputs)

work_buffer = logical_len / 4   Frac entries → S_frac * L/4 bytes

For the precompute-M path (max_work_size in fractional_sumcheck_gpu):

work_buffer = max(L >> (1 + GKR_WINDOW_SIZE), 2^22)   Frac entries
+ S_ef * (2^(2w) + max_window(m_partial) + 2^(w+1))  EF bytes

This method returns the maximum over both paths to give a conservative budget.

Trait Implementations

impl Clone for FractionalInputSize

fn clone(&self) -> FractionalInputSize

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for FractionalInputSize

impl Debug for FractionalInputSize

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

Formats the value using the given formatter.

impl Eq for FractionalInputSize

impl PartialEq for FractionalInputSize

fn eq(&self, other: &FractionalInputSize) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FractionalInputSize