Title: Some important tools for verifiable computation: the sumcheck protocols
Abstract: In this talk, I will present a kind of verifiable computation protocol that
is called the sumcheck protocol. The ultimate goal of the talk is to explain how
Sarah, Daniel and I designed a multivariate version of this protocol using
Reed-Solomon codes. To do this, I will also explain what is a verifiable computation,
how does some previous existing sumchecks works, and where those protocols
can be useful.