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