ZIR-298: Move rv32im-v2 to risc0 (#130)

* Move rv32im-v2 to risc0 * Fixing oops
risc0 · Dec 18, 2024 · 7ab9dd5 · 7ab9dd5
1 parent e5ca412
commit 7ab9dd5
Show file tree

Hide file tree

Showing 75 changed files with 3 additions and 172,215 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,62 +1,21 @@
 [workspace]
 resolver = "2"
-members = [
-  "risc0/circuit/rv32im-v2",
-  "risc0/circuit/rv32im-v2-sys",
-  "zirgen/circuit/fib",
-  "zirgen/dsl",
-]
+members = ["zirgen/circuit/fib", "zirgen/dsl"]
 
 [workspace.dependencies]
-risc0-circuit-rv32im-v2 = { path = "risc0/circuit/rv32im-v2" }
-risc0-circuit-rv32im-v2-sys = { path = "risc0/circuit/rv32im-v2-sys" }
 risc0-zirgen-dsl = { path = "zirgen/dsl" }
 sppark = "0.1.10"
 
-[workspace.dependencies.risc0-binfmt]
-git = "https://github.com/risc0/risc0.git"
-rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
-default-features = false
-
-[workspace.dependencies.risc0-build]
-git = "https://github.com/risc0/risc0.git"
-rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
-default-features = false
-
-[workspace.dependencies.risc0-build-kernel]
-git = "https://github.com/risc0/risc0.git"
-rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
-
-[workspace.dependencies.risc0-circuit-recursion]
-git = "https://github.com/risc0/risc0.git"
-rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
-default-features = false
-
 [workspace.dependencies.risc0-core]
 git = "https://github.com/risc0/risc0.git"
 rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
 default-features = false
 
-[workspace.dependencies.risc0-sys]
-git = "https://github.com/risc0/risc0.git"
-rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
-default-features = false
-
 [workspace.dependencies.risc0-zkp]
 git = "https://github.com/risc0/risc0.git"
 rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
 default-features = false
 
-[workspace.dependencies.risc0-zkvm]
-git = "https://github.com/risc0/risc0.git"
-rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
-default-features = false
-
-[workspace.dependencies.risc0-zkvm-platform]
-git = "https://github.com/risc0/risc0.git"
-rev = "17ed98c3243258ad912fd52a289fef6725f17c90"
-default-features = false
-
 [profile.bench]
 lto = true
 

diff --git a/risc0/circuit/rv32im-v2-sys/Cargo.toml b/risc0/circuit/rv32im-v2-sys/Cargo.toml
diff --git a/risc0/circuit/rv32im-v2-sys/build.rs b/risc0/circuit/rv32im-v2-sys/build.rs
diff --git a/risc0/circuit/rv32im-v2-sys/kernels/cuda/buffers.h b/risc0/circuit/rv32im-v2-sys/kernels/cuda/buffers.h
diff --git a/risc0/circuit/rv32im-v2-sys/kernels/cuda/defs.cu.inc b/risc0/circuit/rv32im-v2-sys/kernels/cuda/defs.cu.inc