sumcheck e Kurosawa: uma conexão tênue
481