it turns out the key to having a fast sumcheck prover is to apply the distributive law in increasingly clever ways
796