Module stacked_reduction 

Stacked opening reduction

Structs

StackedReductionCpu

Traits

StackedReductionProver

Helper trait for proving the reduction of column opening claims and column rotation opening claims to opening claims of column polynomials of the stacked matrix.

Functions

prove_stacked_opening_reduction

Batch sumcheck to reduce trace openings, including rotations, to stacked matrix opening.