A Zero Knowledge Sumcheck and its Applications
A Note on the GKR Protocol