A Summary of the Sumcheck Protocol