The inner-product reduction in crates/pcs/src/sumcheck.rs currently serves as a temporary reference implementation.
The quadratic sumcheck uses a dense witness table with one F128 element per bit.
Replace the reduction internals while preserving prove, verify, and the MleClaim contract.
The sumcheck tests define the round encoding and byte offsets.
Update those tests with any encoding changes.
The input contains arbitrary row and column weights over F128.
A reduction over rows alone needs an explicit column evaluation point.
The current input does not provide that point.
Account for this constraint when choosing the replacement.
These notes previously appeared in the module documentation.
The module documentation now retains the statement and protocol contract.
The inner-product reduction in
crates/pcs/src/sumcheck.rscurrently serves as a temporary reference implementation.The quadratic sumcheck uses a dense witness table with one
F128element per bit.Replace the reduction internals while preserving
prove,verify, and theMleClaimcontract.The sumcheck tests define the round encoding and byte offsets.
Update those tests with any encoding changes.
The input contains arbitrary row and column weights over
F128.A reduction over rows alone needs an explicit column evaluation point.
The current input does not provide that point.
Account for this constraint when choosing the replacement.
These notes previously appeared in the module documentation.
The module documentation now retains the statement and protocol contract.