Simple toy implementation of sumcheck protocol as described in Justin Thaler's "Proof Arguments and Zero-Knowledge" book.