Reimplement the M in RV32IM

crates/neo-fold/Cargo.toml

@@ -70,6 +70,10 @@ path = "riscv-tests/test_riscv_fibonacci_compiled_full_prove_verify.rs"
 name = "test_riscv_u64_output_compiled_full_prove_verify"
 path = "riscv-tests/test_riscv_u64_output_compiled_full_prove_verify.rs"
 
+[[test]]
+name = "test_riscv_circuit_l2_transfer_compiled_trace_prove_verify"
+path = "riscv-tests/test_riscv_circuit_l2_transfer_compiled_trace_prove_verify.rs"
+
 [[test]]
 name = "test_riscv_program_crosscheck"
 path = "riscv-tests/test_riscv_program_crosscheck.rs"

crates/neo-fold/riscv-tests/guests/circuit-l2-transfer/.cargo/config.toml

@@ -0,0 +1,9 @@
+[build]
+target = "riscv32im-unknown-none-elf"
+
+[target.riscv32im-unknown-none-elf]
+rustflags = ["-C", "link-arg=-T../../../../nightstream-sdk/guest/riscv32im-unknown-none-elf.ld"]
+
+[env]
+# The repo sets RUSTFLAGS globally for host builds. That breaks cross-compiling this guest.
+RUSTFLAGS = ""

crates/neo-fold/riscv-tests/guests/circuit-l2-transfer/.gitignore

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

crates/neo-fold/riscv-tests/guests/circuit-l2-transfer/Cargo.toml

@@ -0,0 +1,24 @@
+[package]
+name = "circuit-l2-transfer"
+version = "0.0.0"
+edition = "2021"
+publish = false
+
+[[bin]]
+name = "circuit_l2_transfer"
+path = "src/main.rs"
+
+# Standalone guest project: do not inherit the repo workspace.
+[workspace]
+
+[profile.release]
+panic = "abort"
+
+[dependencies]
+nightstream-sdk = { path = "../../../../nightstream-sdk", default-features = false }
+qp-poseidon-core = { version = "1.0.7", default-features = false, features = ["p3"] }
+
+[patch.crates-io]
+p3-field = { path = "vendor/p3-field" }
+p3-matrix = { path = "vendor/p3-matrix" }
+p3-dft = { path = "vendor/p3-dft" }