sumcheck e Kurosawa: una connessione labile
482