Module sumcheck 

Helpers for converting sumcheck round polynomials to ProofEvent types.

Functions

claim_approx

Normalize a raw QM31 .a limb to [0,1] for claim value approximation.

round_poly_deg3_viz

Build a RoundPolyDeg3Viz from four raw u32 limbs (four QM31 coefficients).

round_poly_viz

Build a RoundPolyViz from six raw u32 limbs (three QM31 coefficients).

sf_mirror

Convert a raw [u32; 4] (the four limbs of a QM31/SecureField) to our mirror type. The layout follows STWO’s QM31: (a + bi) + (c + di)j where each letter is an M31 stored as a u32.