yetanotherco · gianbelinche · Dec 11, 2025
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1 @@
-/target
-/program_artifacts
+target/
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,9 +1,5 @@
-[package]
-name = "null-vm"
-version = "0.1.0"
-edition = "2024"
-
-[dependencies]
-elf = "0.7.4"
-hashbrown = { version = "0.14.5", features = ["serde", "inline-more"] }
-thiserror = "1.0.68"
+[workspace]
+members = [
+  "null-vm",
+  "riscv-prover",
+]
diff --git a/null-vm/.gitignore b/null-vm/.gitignore
@@ -0,0 +1,2 @@
+/target
+/program_artifacts
diff --git a/null-vm/Cargo.lock b/null-vm/Cargo.lock
diff --git a/null-vm/Cargo.toml b/null-vm/Cargo.toml
@@ -0,0 +1,9 @@
+[package]
+name = "null-vm"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
+elf = "0.7.4"
+hashbrown = { version = "0.14.5", features = ["serde", "inline-more"] }
+thiserror = "1.0.68"
diff --git a/Makefile → null-vm/Makefile b/Makefile → null-vm/Makefile
diff --git a/programs/asm/basic_program.s → null-vm/programs/asm/basic_program.s b/programs/asm/basic_program.s → null-vm/programs/asm/basic_program.s
diff --git a/programs/rust/basic_rust/Cargo.lock → null-vm/programs/rust/basic_rust/Cargo.lock b/programs/rust/basic_rust/Cargo.lock → null-vm/programs/rust/basic_rust/Cargo.lock
diff --git a/programs/rust/basic_rust/Cargo.toml → null-vm/programs/rust/basic_rust/Cargo.toml b/programs/rust/basic_rust/Cargo.toml → null-vm/programs/rust/basic_rust/Cargo.toml
@@ -1,3 +1,5 @@
+[workspace]
+
 [package]
 name = "basic_rust"
 version = "0.1.0"

diff --git a/programs/rust/basic_rust/src/main.rs → null-vm/programs/rust/basic_rust/src/main.rs b/programs/rust/basic_rust/src/main.rs → null-vm/programs/rust/basic_rust/src/main.rs
diff --git a/src/elf.rs → null-vm/src/elf.rs b/src/elf.rs → null-vm/src/elf.rs
diff --git a/src/lib.rs → null-vm/src/lib.rs b/src/lib.rs → null-vm/src/lib.rs
diff --git a/src/main.rs → null-vm/src/main.rs b/src/main.rs → null-vm/src/main.rs
diff --git a/src/vm/execution.rs → null-vm/src/vm/execution.rs b/src/vm/execution.rs → null-vm/src/vm/execution.rs
diff --git a/src/vm/instructions.rs → null-vm/src/vm/instructions.rs b/src/vm/instructions.rs → null-vm/src/vm/instructions.rs
diff --git a/src/vm/mod.rs → null-vm/src/vm/mod.rs b/src/vm/mod.rs → null-vm/src/vm/mod.rs
diff --git a/tests/asm.rs → null-vm/tests/asm.rs b/tests/asm.rs → null-vm/tests/asm.rs
diff --git a/tests/rust.rs → null-vm/tests/rust.rs b/tests/rust.rs → null-vm/tests/rust.rs
diff --git a/riscv-prover/Cargo.toml b/riscv-prover/Cargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "riscv-prover"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
diff --git a/riscv-prover/src/main.rs b/riscv-prover/src/main.rs
@@ -0,0 +1,3 @@
+fn main() {
+    println!("Hello, world!");
+}