sumcheck e Kurosawa: una connessione labile
372