Initial vm implementation

.gitignore

@@ -0,0 +1,2 @@
+/target
+/program_artifacts

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"

Makefile

@@ -0,0 +1,52 @@
+ASM_PROGRAMS_DIR=./programs/asm
+ASM_ARTIFACTS_DIR=./program_artifacts/asm
+
+RUST_PROGRAMS_DIR=./programs/rust
+RUST_ARTIFACTS_DIR=./program_artifacts/rust
+
+
+ASM_PROGRAMS = $(wildcard $(ASM_PROGRAMS_DIR)/*.s)
+ARTIFACTS_ASM = $(patsubst $(ASM_PROGRAMS_DIR)/%.s, $(ASM_ARTIFACTS_DIR)/%.elf, $(ASM_PROGRAMS))
+
+RUST_PROGRAM_DIRS := $(dir $(wildcard $(RUST_PROGRAMS_DIR)/*/Cargo.toml))
+RUST_PROGRAMS := $(notdir $(basename $(RUST_PROGRAM_DIRS:%/=%)))
+RUST_ARTIFACTS := $(addprefix $(RUST_ARTIFACTS_DIR)/, $(addsuffix .elf, $(RUST_PROGRAMS)))
+
+compile-programs-asm: clean $(ARTIFACTS_ASM)
+
+compile-programs-rust: clean $(RUST_ARTIFACTS)
+
+compile-programs: compile-programs-asm compile-programs-rust
+
+# Compile assembly .s -> .o
+$(ASM_ARTIFACTS_DIR)/%.o: $(ASM_PROGRAMS_DIR)/%.s
+	clang --target=riscv32 -c $< -o $@
+
+# Link assembly .o -> .elf
+$(ASM_ARTIFACTS_DIR)/%.elf: $(ASM_ARTIFACTS_DIR)/%.o
+	riscv64-unknown-elf-ld -m elf32lriscv $< -o $@ -e main
+
+# Compile rust
+$(RUST_ARTIFACTS_DIR)/%.elf: $(RUST_PROGRAMS_DIR)/%/Cargo.toml
+	cd $(RUST_PROGRAMS_DIR)/$* && \
+		cargo +nightly rustc \
+			--target riscv32im-unknown-none-elf \
+			-Z build-std=core,compiler_builtins \
+			-- --emit asm -C debuginfo=0 -C link-arg=-e -C link-arg=main
+	cp $(RUST_PROGRAMS_DIR)/$*/target/riscv32im-unknown-none-elf/debug/$* $@
+	rm -rf $(RUST_PROGRAMS_DIR)/$*/target
+
+clean:
+	-rm -rf $(ASM_ARTIFACTS_DIR)
+	mkdir -p $(ASM_ARTIFACTS_DIR)
+	-rm -rf $(RUST_ARTIFACTS_DIR)
+	mkdir -p $(RUST_ARTIFACTS_DIR)
+
+test: compile-programs
+	cargo test
+
+test-asm: compile-programs-asm
+	cargo test --test asm
+
+test-rust: compile-programs-rust
+	cargo test --test rust

README.md

@@ -3,3 +3,26 @@
 Verifiable VM made in collaboration with Lambdaclass and 3MI
 
 Non-null name TBD
+
+## Testing
+
+### ASM Tests
+
+In order to add a new asm test you should add the `.s` file under `programs/asm`
+Then add the corresponding test under `tests/asm.rs`
+
+To run them you can use
+
+`make test`
+
+This will compile them and run the tests
+
+### Rust Tests
+
+In order to add a new rust test you should add the cargo project under `programs/rust` as a new directory.
+The folder should have the same name as the `Cargo.toml` program name.
+Then add the corresponding test under `tests/rust.rs`
+
+You can run it with
+
+`make test`

programs/asm/basic_program.s

@@ -0,0 +1,8 @@
+	.attribute	5, "rv32i2p1_m2p0_zmmul1p0"
+.Lfunc_end0:
+	.globl	main
+main:
+	addi	a0, zero, 0
+	jalr	zero, 0(ra)
+.Lfunc_end1:
+	.size	main, .Lfunc_end1-main

programs/rust/basic_rust/Cargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "basic_rust"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]

programs/rust/basic_rust/src/main.rs

@@ -0,0 +1,14 @@
+#![no_std]
+#![no_main]
+
+use core::panic::PanicInfo;
+
+#[panic_handler]
+fn panic(_info: &PanicInfo) -> ! {
+    loop {}
+}
+
+#[unsafe(export_name = "main")]
+pub fn main() -> i32 {
+    return 0;
+}