enable cuda for sp1 & add constants

jonas089 · Dec 9, 2024 · 88f7c58 · 88f7c58
1 parent 7f33231
commit 88f7c58
Show file tree

Hide file tree

Showing 10 changed files with 45 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,8 +1,8 @@
 [workspace]
 members = [
     "crypto-ops",
-    "circuits/merkle-proof",
-    "circuits/merkle-proof-recursive",
+    "circuits/sp1-merkle-proof",
+    "circuits/sp1-merkle-proof-recursive",
     "trie-utils",
     "prover",
 ]

diff --git a/circuits/Cargo.toml b/circuits/Cargo.toml
@@ -1,2 +1,2 @@
 [workspace]
-members = ["merkle-proof", "merkle-proof-recursive"]
+members = ["sp1-merkle-proof", "sp1-merkle-proof-recursive"]
diff --git a/circuits/elf/riscv32im-succinct-zkvm-elf b/circuits/elf/riscv32im-succinct-zkvm-elf
diff --git a/circuits/merkle-proof-recursive/Cargo.toml → ...its/sp1-merkle-proof-recursive/Cargo.toml b/circuits/merkle-proof-recursive/Cargo.toml → ...its/sp1-merkle-proof-recursive/Cargo.toml
diff --git a/circuits/merkle-proof-recursive/src/main.rs → ...ts/sp1-merkle-proof-recursive/src/main.rs b/circuits/merkle-proof-recursive/src/main.rs → ...ts/sp1-merkle-proof-recursive/src/main.rs
diff --git a/circuits/merkle-proof/Cargo.toml → circuits/sp1-merkle-proof/Cargo.toml b/circuits/merkle-proof/Cargo.toml → circuits/sp1-merkle-proof/Cargo.toml
diff --git a/circuits/merkle-proof/src/main.rs → circuits/sp1-merkle-proof/src/main.rs b/circuits/merkle-proof/src/main.rs → circuits/sp1-merkle-proof/src/main.rs
diff --git a/prover/Cargo.toml b/prover/Cargo.toml
@@ -24,3 +24,4 @@ sp1-helper = "3.0.0"
 
 [features]
 sp1 = ["crypto-ops/sp1"]
+cuda = ["sp1-sdk/cuda"]
diff --git a/prover/build.rs b/prover/build.rs
@@ -1,5 +1,5 @@
 use sp1_helper::build_program_with_args;
 
 fn main() {
-    build_program_with_args("../circuits/merkle-proof", Default::default())
+    build_program_with_args("../circuits/sp1-merkle-proof", Default::default())
 }
Original file line number	Diff line number	Diff line change
Expand Up		@@ -24,3 +24,4 @@ sp1-helper = "3.0.0"

		[features]
		sp1 = ["crypto-ops/sp1"]
		cuda = ["sp1-sdk/cuda"]