Si scopre che la chiave per avere un veloce prover sumcheck è applicare la legge distributiva in modi sempre più intelligenti