We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 74bae48 commit df96f26Copy full SHA for df96f26
crates/sumcheck/src/proof.rs
@@ -1,8 +1,8 @@
1
-use serde::{Deserialize, Serialize};
2
use hypercube_algebra::UnivariatePolynomial;
3
use hypercube_multilinear::Point;
+use serde::{Deserialize, Serialize};
4
5
-/// A sumchexckl proof that does not include the evaluation proofs.
+/// A sumcheck proof that does not include the evaluation proofs.
6
///
7
/// Verifying a partial sumcheck proof is equivalent to verifying the sumcheck claim on the
8
/// condition of having evaluation proofs for the given componment polynomials at the given points.
0 commit comments