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