Skip to main content

Module logup_zerocheck

openvm_cpu_backend

Module logup_zerocheck 

Source
Expand description

Row-major LogupZerocheck implementation.

Optimizations over the reference backend:

  1. Eliminates full row-major → col-major conversion for round 0 sumcheck
  2. Uses batch DFT on extracted row-major blocks, leveraging SIMD through plonky3’s butterfly operations (PackedField in apply_to_rows)
  3. Direct row-major access for constraint/interaction evaluation

Functions§

prove_zerocheck_and_logup