pub fn batch_sumcheck_zero_interactions_malleable_q0<E: StarkEngine<SC = SC>>() -> Result<()>Expand description
Negative test: with zero interactions, a gkr_proof.q0_claim != EF::ONE must cause
verify_zerocheck_and_logup to reject with InvalidZeroRoundValue.