Probability_Tools

Public_Coin_Proofs

Substitutions

Abstract_Multivariate_Polynomials

Sumcheck_Protocol

Completeness_Proof

Soundness_Proof

Sumcheck_as_Public_Coin_Proof

Polynomial_Instantiation

Univariate_Roots_Bound

Roots_Bounds

Concrete_Multivariate_Polynomials