Add sumcheck protocol (#973)

* first sumcheck protocol iteration

* save work

* save work.Protocol is almost ready

* refactor code

* improve code

* Refactor: move sumcheck protocol into provers

* fix clippy

* fix wasm32 error

* fix comments

* fix comments

* add doc explaining fix_last_variable function

* implement From trait for DenseMultilinearPolynomial

Author: jotabulacios

Cargo.toml

@@ -1,6 +1,24 @@
 [workspace]
 
-members = ["math", "crypto", "gpu", "benches", "provers/plonk", "provers/stark", "provers/groth16", "provers/groth16/arkworks-adapter", "provers/groth16/circom-adapter", "examples/merkle-tree-cli", "examples/prove-miden", "provers/winterfell_adapter", "examples/shamir_secret_sharing","examples/pinocchio", "examples/prove-verify-circom", "examples/baby-snark"]
+members = [
+    "math",
+    "crypto",
+    "gpu",
+    "benches",
+    "provers/plonk",
+    "provers/sumcheck",
+    "provers/stark",
+    "provers/groth16",
+    "provers/groth16/arkworks-adapter",
+    "provers/groth16/circom-adapter",
+    "examples/merkle-tree-cli",
+    "examples/prove-miden",
+    "provers/winterfell_adapter",
+    "examples/shamir_secret_sharing",
+    "examples/pinocchio",
+    "examples/prove-verify-circom",
+    "examples/baby-snark",
+]
 exclude = ["ensure-no_std"]
 resolver = "2"
 
@@ -16,16 +34,17 @@ lambdaworks-crypto = { path = "./crypto", version = "0.11.0", default-features =
 lambdaworks-gpu = { path = "./gpu", version = "0.11.0" }
 lambdaworks-math = { path = "./math", version = "0.11.0", default-features = false }
 stark-platinum-prover = { path = "./provers/stark" }
-lambdaworks-winterfell-adapter = { path = "./provers/winterfell_adapter"}
+lambdaworks-winterfell-adapter = { path = "./provers/winterfell_adapter" }
 lambdaworks-groth16 = { path = "./provers/groth16" }
 lambdaworks-circom-adapter = { path = "./provers/groth16/circom-adapter" }
+lambdaworks-sumcheck = { path = "./provers/sumcheck" }
 
 [patch.crates-io]
-winter-air = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}
-winter-prover = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}
-winter-math = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}
-winter-utils = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}
-winter-crypto = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4"}
+winter-air = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4" }
+winter-prover = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4" }
+winter-math = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4" }
+winter-utils = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4" }
+winter-crypto = { git = "https://github.com/lambdaclass/winterfell-for-lambdaworks.git", branch = "derive-clone-v6.4" }
 miden-air = { git = "https://github.com/lambdaclass/miden-vm" }
 miden-core = { git = "https://github.com/lambdaclass/miden-vm" }
 miden-assembly = { git = "https://github.com/lambdaclass/miden-vm" }

crypto/Cargo.toml

@@ -17,7 +17,6 @@ serde = { version = "1.0", default-features = false, features = [
     "alloc",
 ], optional = true }
 rayon = { version = "1.8.0", optional = true }
-
 [dev-dependencies]
 criterion = "0.4"
 iai-callgrind.workspace = true