Module stacked_reduction 

Structs

StackedPcsData2

A struct for holding stacked pcs data. We only need the MerkleTreeGpu from StackedPcsDataGpu but we wrap the latter in an Arc to provide uniformity in dealing with common main and preprocessed/cached traces. This struct stores the unstacked traces, in prismalinear evaluation form, corresponding to the stacked pcs data.

StackedReductionGpu

Constants

STACKED_REDUCTION_S_DEG

Degree of the sumcheck polynomial for stacked reduction.

Functions

prove_stacked_opening_reduction_gpu

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