Merge pull request #200 from succinctlabs/umadayal/powers-of-alpha

perf(prover): powers of alpha

Author: tamirhemo

.gitignore

@@ -14,4 +14,6 @@
 # proof file from test
 prover/proof-with-pis.bin
 perf/proof-with-pis.bin
-core_proof.bin
+core_proof.bin
+program.bin
+stdin.bin

Cargo.lock

@@ -19,14 +19,16 @@ debug-assertions = true
 [workspace.dependencies]
 
 # sp1
-sp1-core-executor = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev", features = [ "bigint-rug" ] } 
-sp1-core-machine = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-prover = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-recursion-core = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-cuda = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-stark = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-eval = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-test-artifacts = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
+sp1-core-executor = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip", features = [
+    "bigint-rug",
+] }
+sp1-core-machine = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-prover = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-recursion-core = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-cuda = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-stark = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-eval = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+test-artifacts = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
 
 # p3
 p3-interpolation = "=0.2.0-succinct"

Cargo.toml

@@ -15,17 +15,20 @@ rand = "0.8.5"
 p3-merkle-tree = { workspace = true }
 p3-matrix = { workspace = true }
 p3-commit = { workspace = true }
+p3-uni-stark = { workspace = true }
 itertools = "0.13.0"
 sp1-core-executor = { workspace = true }
 sp1-core-machine = { workspace = true, features = ["sys"] }
 sp1-stark = { workspace = true }
+sp1-prover = { workspace = true }
 sp1-recursion-core = { workspace = true, features = ["sys"] }
 p3-air = { workspace = true }
 air = { path = "../air" }
 p3-challenger = { workspace = true }
 p3-fri = { workspace = true }
 p3-util = { workspace = true }
 p3-interpolation = { workspace = true }
+
 zkhash = "0.2.0"
 bincode = "1.3.3"
 

core/Cargo.toml

@@ -55,7 +55,7 @@ pub(super) mod quotient_gpu {
             main_trace_on_quotient_domain: MatrixViewDevice<BabyBear>,
             permutation_trace_on_quotient_domain: MatrixViewDevice<BabyBear>,
             perm_challenges: *const BinomialExtensionField<BabyBear, 4>,
-            alpha: BinomialExtensionField<BabyBear, 4>,
+            powers_of_alpha: *const BinomialExtensionField<BabyBear, 4>,
             public_values: *const BabyBear,
             trace_domain_generator: BabyBear,
             quotient_domain_generator: BabyBear,