Sum- check protocol using Rust Implementation of Thaler's book chapter 4 sumcheck variation comparision b/w univariate higher degree poly vs multivariate linear poly