S
umcheck_
P
rotocol
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