zkMIPS · eigmax · Jul 6, 2024 · Jul 5, 2024 · Jul 5, 2024
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,8 +18,6 @@ jobs:
     strategy:
       matrix:
         toolchain:
-          - stable
-          - beta
           - nightly
     steps:
       - uses: actions/checkout@v2

diff --git a/Cargo.toml b/Cargo.toml
@@ -1,51 +1,6 @@
-[package]
-name = "zkm"
-version = "0.1.0"
-edition = "2021"
-
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
-[dependencies]
-#plonky2 = {             path = "../plonky2/plonky2" }
-##starky = {              path = "../plonky2/starky" }
-#plonky2_util = {        path = "../plonky2/util" }
-#plonky2_maybe_rayon = { path = "../plonky2/maybe_rayon" }
-
-bincode = "1.3.3"
-
-plonky2 = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
-#starky = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
-plonky2_util = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
-plonky2_maybe_rayon = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
-
-itertools = "0.11.0"
-log = { version = "0.4.14", default-features = false }
-anyhow = "1.0.75"
-num = "0.4.0"
-num-bigint = "0.4.3"
-serde = { version = "1.0.144", features = ["derive"] }
-serde_json = "1.0"
-tiny-keccak = "2.0.2"
-rand = "0.8.5"
-rand_chacha = "0.3.1"
-once_cell = "1.13.0"
-static_assertions = "1.1.0"
-keccak-hash = "0.10.0"
-byteorder = "1.5.0"
-hex = "0.4"
-hashbrown = { version = "0.14.0", default-features = false, features = ["ahash", "serde"] } # NOTE: When upgrading, see `ahash` dependency.
-lazy_static = "1.4.0"
-
-elf = { version = "0.7", default-features = false }
-
-sysinfo = "0.30.7"
-
-[dev-dependencies]
-env_logger = "0.10.0"
-keccak-hash = "0.10.0"
-plonky2x = { git = "https://github.com/zkMIPS/succinctx.git", package = "plonky2x",  branch = "zkm" }
-plonky2x-derive = { git = "https://github.com/zkMIPS/succinctx.git", package = "plonky2x-derive",  branch = "zkm" }
-curta = { git ="https://github.com/zkMIPS/curta.git", branch = "zkm" }
-
-[features]
-test = []
+[workspace]
+members = [
+  "runtime/*",
+  "prover",
+]
+resolver = "2"
diff --git a/READMEsv.md b/READMEsv.md
diff --git a/examples/README.md b/examples/README.md
@@ -1,6 +1,6 @@
 # Examples
 
-## MIPS tools
+## Prove the Golang code 
 
 * Compile the Go code to MIPS
 
@@ -38,36 +38,33 @@ BASEDIR=test-vectors RUST_LOG=info BLOCK_NO=13284491 SEG_FILE_DIR="/tmp/output"
     cargo run --release --example zkmips aggregate_proof_all
 ```
 
-- run bench
+## Prove the Rust code 
 
-  - download/install toolchain for mips
+* Download and install toolchain for mips
 
-    ```
-    wget http://musl.cc/mips-linux-muslsf-cross.tgz
-    tar -zxvf mips-linux-muslsf-cross.tgz
-    ```
-
-  - modify ~/.cargo/config:
-
-    ```
-    [target.mips-unknown-linux-musl]
-    linker = <path-to>/mips-linux-muslsf-gcc"
-    rustflags = ["--cfg", 'target_os="zkvm"',"-C", "target-feature=+crt-static", "-C", "link-arg=-g"]
-    ```
+```
+wget http://musl.cc/mips-linux-muslsf-cross.tgz
+tar -zxvf mips-linux-muslsf-cross.tgz
+```
 
-  - build sha2
+* Modify ~/.cargo/config:
 
-    ```
-    cd examples/sha2
-    cargo build --target=mips-unknown-linux-musl
-    cd ../../
-    ```
+```
+[target.mips-unknown-linux-musl]
+linker = <path-to>/mips-linux-muslsf-gcc"
+rustflags = ["--cfg", 'target_os="zkvm"',"-C", "target-feature=+crt-static", "-C", "link-arg=-g"]
+```
 
-  - run bench
+* Build the Sha2
 
-    ```
-    RUST_LOG=info ELF_PATH=examples/sha2/target/mips-unknown-linux-musl/debug/sha2-bench SEG_OUTPUT=/tmp/output cargo run --release --example zkmips bench
-    ```
+```
+cd examples/sha2
+cargo build --target=mips-unknown-linux-musl
+cd ../../
+```
 
-Basically, you can run the example on a 32G RAM machine, if you get OOM error, please read https://github.com/zkMIPS/zkm/issues/97.
+* Run the host program 
 
+```
+RUST_LOG=info ELF_PATH=examples/sha2/target/mips-unknown-linux-musl/debug/sha2-bench SEG_OUTPUT=/tmp/output cargo run --release --example zkmips bench
+```
diff --git a/prover/Cargo.toml b/prover/Cargo.toml
@@ -0,0 +1,51 @@
+[package]
+name = "zkm-prover"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+#plonky2 = {             path = "../plonky2/plonky2" }
+##starky = {              path = "../plonky2/starky" }
+#plonky2_util = {        path = "../plonky2/util" }
+#plonky2_maybe_rayon = { path = "../plonky2/maybe_rayon" }
+
+bincode = "1.3.3"
+
+plonky2 = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
+#starky = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
+plonky2_util = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
+plonky2_maybe_rayon = { git = "https://github.com/zkMIPS/plonky2.git", branch = "zkm_dev" }
+
+itertools = "0.11.0"
+log = { version = "0.4.14", default-features = false }
+anyhow = "1.0.75"
+num = "0.4.0"
+num-bigint = "0.4.3"
+serde = { version = "1.0.144", features = ["derive"] }
+serde_json = "1.0"
+tiny-keccak = "2.0.2"
+rand = "0.8.5"
+rand_chacha = "0.3.1"
+once_cell = "1.13.0"
+static_assertions = "1.1.0"
+keccak-hash = "0.10.0"
+byteorder = "1.5.0"
+hex = "0.4"
+hashbrown = { version = "0.14.0", default-features = false, features = ["ahash", "serde"] } # NOTE: When upgrading, see `ahash` dependency.
+lazy_static = "1.4.0"
+
+elf = { version = "0.7", default-features = false }
+
+sysinfo = "0.30.7"
+
+[dev-dependencies]
+env_logger = "0.10.0"
+keccak-hash = "0.10.0"
+plonky2x = { git = "https://github.com/zkMIPS/succinctx.git", package = "plonky2x",  branch = "zkm" }
+plonky2x-derive = { git = "https://github.com/zkMIPS/succinctx.git", package = "plonky2x-derive",  branch = "zkm" }
+curta = { git ="https://github.com/zkMIPS/curta.git", branch = "zkm" }
+
+[features]
+test = []
diff --git a/rust-toolchain.toml → prover/rust-toolchain.toml b/rust-toolchain.toml → prover/rust-toolchain.toml
diff --git a/src/all_stark.rs → prover/src/all_stark.rs b/src/all_stark.rs → prover/src/all_stark.rs
diff --git a/src/arithmetic/addcy.rs → prover/src/arithmetic/addcy.rs b/src/arithmetic/addcy.rs → prover/src/arithmetic/addcy.rs
diff --git a/src/arithmetic/arithmetic_stark.rs → prover/src/arithmetic/arithmetic_stark.rs b/src/arithmetic/arithmetic_stark.rs → prover/src/arithmetic/arithmetic_stark.rs
diff --git a/src/arithmetic/columns.rs → prover/src/arithmetic/columns.rs b/src/arithmetic/columns.rs → prover/src/arithmetic/columns.rs
diff --git a/src/arithmetic/div.rs → prover/src/arithmetic/div.rs b/src/arithmetic/div.rs → prover/src/arithmetic/div.rs
diff --git a/src/arithmetic/lo_hi.rs → prover/src/arithmetic/lo_hi.rs b/src/arithmetic/lo_hi.rs → prover/src/arithmetic/lo_hi.rs
diff --git a/src/arithmetic/lui.rs → prover/src/arithmetic/lui.rs b/src/arithmetic/lui.rs → prover/src/arithmetic/lui.rs
diff --git a/src/arithmetic/mod.rs → prover/src/arithmetic/mod.rs b/src/arithmetic/mod.rs → prover/src/arithmetic/mod.rs
diff --git a/src/arithmetic/mul.rs → prover/src/arithmetic/mul.rs b/src/arithmetic/mul.rs → prover/src/arithmetic/mul.rs
diff --git a/src/arithmetic/mult.rs → prover/src/arithmetic/mult.rs b/src/arithmetic/mult.rs → prover/src/arithmetic/mult.rs
diff --git a/src/arithmetic/shift.rs → prover/src/arithmetic/shift.rs b/src/arithmetic/shift.rs → prover/src/arithmetic/shift.rs
diff --git a/src/arithmetic/slt.rs → prover/src/arithmetic/slt.rs b/src/arithmetic/slt.rs → prover/src/arithmetic/slt.rs
diff --git a/src/arithmetic/sra.rs → prover/src/arithmetic/sra.rs b/src/arithmetic/sra.rs → prover/src/arithmetic/sra.rs
diff --git a/src/arithmetic/utils.rs → prover/src/arithmetic/utils.rs b/src/arithmetic/utils.rs → prover/src/arithmetic/utils.rs
diff --git a/src/config.rs → prover/src/config.rs b/src/config.rs → prover/src/config.rs
diff --git a/src/constraint_consumer.rs → prover/src/constraint_consumer.rs b/src/constraint_consumer.rs → prover/src/constraint_consumer.rs
diff --git a/src/cpu/bits.rs → prover/src/cpu/bits.rs b/src/cpu/bits.rs → prover/src/cpu/bits.rs
diff --git a/src/cpu/bootstrap_kernel.rs → prover/src/cpu/bootstrap_kernel.rs b/src/cpu/bootstrap_kernel.rs → prover/src/cpu/bootstrap_kernel.rs
diff --git a/src/cpu/columns/general.rs → prover/src/cpu/columns/general.rs b/src/cpu/columns/general.rs → prover/src/cpu/columns/general.rs
diff --git a/src/cpu/columns/mod.rs → prover/src/cpu/columns/mod.rs b/src/cpu/columns/mod.rs → prover/src/cpu/columns/mod.rs
diff --git a/src/cpu/columns/ops.rs → prover/src/cpu/columns/ops.rs b/src/cpu/columns/ops.rs → prover/src/cpu/columns/ops.rs
diff --git a/src/cpu/count.rs → prover/src/cpu/count.rs b/src/cpu/count.rs → prover/src/cpu/count.rs
diff --git a/src/cpu/cpu_stark.rs → prover/src/cpu/cpu_stark.rs b/src/cpu/cpu_stark.rs → prover/src/cpu/cpu_stark.rs
diff --git a/src/cpu/decode.rs → prover/src/cpu/decode.rs b/src/cpu/decode.rs → prover/src/cpu/decode.rs
diff --git a/src/cpu/exit_kernel.rs → prover/src/cpu/exit_kernel.rs b/src/cpu/exit_kernel.rs → prover/src/cpu/exit_kernel.rs
diff --git a/src/cpu/jumps.rs → prover/src/cpu/jumps.rs b/src/cpu/jumps.rs → prover/src/cpu/jumps.rs
diff --git a/src/cpu/kernel/assembler.rs → prover/src/cpu/kernel/assembler.rs b/src/cpu/kernel/assembler.rs → prover/src/cpu/kernel/assembler.rs
diff --git a/src/cpu/kernel/constants/context_metadata.rs → .../cpu/kernel/constants/context_metadata.rs b/src/cpu/kernel/constants/context_metadata.rs → .../cpu/kernel/constants/context_metadata.rs
diff --git a/src/cpu/kernel/constants/global_metadata.rs → ...c/cpu/kernel/constants/global_metadata.rs b/src/cpu/kernel/constants/global_metadata.rs → ...c/cpu/kernel/constants/global_metadata.rs
diff --git a/src/cpu/kernel/constants/mod.rs → prover/src/cpu/kernel/constants/mod.rs b/src/cpu/kernel/constants/mod.rs → prover/src/cpu/kernel/constants/mod.rs
diff --git a/src/cpu/kernel/elf.rs → prover/src/cpu/kernel/elf.rs b/src/cpu/kernel/elf.rs → prover/src/cpu/kernel/elf.rs
@@ -350,14 +350,14 @@ mod test {
     #[test]
     fn load_and_check_mips_elf() {
         env_logger::try_init().unwrap_or_default();
-        let mut reader = BufReader::new(File::open("test-vectors/hello").unwrap());
+        let mut reader = BufReader::new(File::open("../test-vectors/hello").unwrap());
         let mut buffer = Vec::new();
         reader.read_to_end(&mut buffer).unwrap();
         let max_mem = 0x80000000;
         let mut p: Program = Program::load_elf(&buffer, max_mem).unwrap();
         log::info!("entry: {}", p.entry);
 
-        let real_blockpath = get_block_path("test-vectors", "13284491", "input");
+        let real_blockpath = get_block_path("../test-vectors", "13284491", "input");
         log::info!("real block path: {}", real_blockpath);
         p.load_block(&real_blockpath).unwrap();
 

diff --git a/src/cpu/kernel/keccak_util.rs → prover/src/cpu/kernel/keccak_util.rs b/src/cpu/kernel/keccak_util.rs → prover/src/cpu/kernel/keccak_util.rs
diff --git a/src/cpu/kernel/mod.rs → prover/src/cpu/kernel/mod.rs b/src/cpu/kernel/mod.rs → prover/src/cpu/kernel/mod.rs
diff --git a/src/cpu/membus.rs → prover/src/cpu/membus.rs b/src/cpu/membus.rs → prover/src/cpu/membus.rs
diff --git a/src/cpu/memio.rs → prover/src/cpu/memio.rs b/src/cpu/memio.rs → prover/src/cpu/memio.rs
diff --git a/src/cpu/misc.rs → prover/src/cpu/misc.rs b/src/cpu/misc.rs → prover/src/cpu/misc.rs
diff --git a/src/cpu/mod.rs → prover/src/cpu/mod.rs b/src/cpu/mod.rs → prover/src/cpu/mod.rs
diff --git a/src/cpu/shift.rs → prover/src/cpu/shift.rs b/src/cpu/shift.rs → prover/src/cpu/shift.rs
diff --git a/src/cpu/syscall.rs → prover/src/cpu/syscall.rs b/src/cpu/syscall.rs → prover/src/cpu/syscall.rs
diff --git a/src/cross_table_lookup.rs → prover/src/cross_table_lookup.rs b/src/cross_table_lookup.rs → prover/src/cross_table_lookup.rs
diff --git a/src/evaluation_frame.rs → prover/src/evaluation_frame.rs b/src/evaluation_frame.rs → prover/src/evaluation_frame.rs
diff --git a/src/fixed_recursive_verifier.rs → prover/src/fixed_recursive_verifier.rs b/src/fixed_recursive_verifier.rs → prover/src/fixed_recursive_verifier.rs
diff --git a/src/generation/mod.rs → prover/src/generation/mod.rs b/src/generation/mod.rs → prover/src/generation/mod.rs
diff --git a/src/generation/outputs.rs → prover/src/generation/outputs.rs b/src/generation/outputs.rs → prover/src/generation/outputs.rs
diff --git a/src/generation/state.rs → prover/src/generation/state.rs b/src/generation/state.rs → prover/src/generation/state.rs
diff --git a/src/get_challenges.rs → prover/src/get_challenges.rs b/src/get_challenges.rs → prover/src/get_challenges.rs
diff --git a/src/keccak/columns.rs → prover/src/keccak/columns.rs b/src/keccak/columns.rs → prover/src/keccak/columns.rs
diff --git a/src/keccak/constants.rs → prover/src/keccak/constants.rs b/src/keccak/constants.rs → prover/src/keccak/constants.rs
diff --git a/src/keccak/keccak_stark.rs → prover/src/keccak/keccak_stark.rs b/src/keccak/keccak_stark.rs → prover/src/keccak/keccak_stark.rs
diff --git a/src/keccak/logic.rs → prover/src/keccak/logic.rs b/src/keccak/logic.rs → prover/src/keccak/logic.rs
diff --git a/src/keccak/mod.rs → prover/src/keccak/mod.rs b/src/keccak/mod.rs → prover/src/keccak/mod.rs
diff --git a/src/keccak/round_flags.rs → prover/src/keccak/round_flags.rs b/src/keccak/round_flags.rs → prover/src/keccak/round_flags.rs
diff --git a/src/keccak_sponge/columns.rs → prover/src/keccak_sponge/columns.rs b/src/keccak_sponge/columns.rs → prover/src/keccak_sponge/columns.rs
diff --git a/src/keccak_sponge/keccak_sponge_stark.rs → .../src/keccak_sponge/keccak_sponge_stark.rs b/src/keccak_sponge/keccak_sponge_stark.rs → .../src/keccak_sponge/keccak_sponge_stark.rs
diff --git a/src/keccak_sponge/mod.rs → prover/src/keccak_sponge/mod.rs b/src/keccak_sponge/mod.rs → prover/src/keccak_sponge/mod.rs
diff --git a/src/lib.rs → prover/src/lib.rs b/src/lib.rs → prover/src/lib.rs
diff --git a/src/logic.rs → prover/src/logic.rs b/src/logic.rs → prover/src/logic.rs
diff --git a/src/lookup.rs → prover/src/lookup.rs b/src/lookup.rs → prover/src/lookup.rs
diff --git a/src/memory/columns.rs → prover/src/memory/columns.rs b/src/memory/columns.rs → prover/src/memory/columns.rs
diff --git a/src/memory/memory_stark.rs → prover/src/memory/memory_stark.rs b/src/memory/memory_stark.rs → prover/src/memory/memory_stark.rs
diff --git a/src/memory/mod.rs → prover/src/memory/mod.rs b/src/memory/mod.rs → prover/src/memory/mod.rs
diff --git a/src/memory/segments.rs → prover/src/memory/segments.rs b/src/memory/segments.rs → prover/src/memory/segments.rs
diff --git a/src/mips_emulator/memory.rs → prover/src/mips_emulator/memory.rs b/src/mips_emulator/memory.rs → prover/src/mips_emulator/memory.rs
diff --git a/src/mips_emulator/mod.rs → prover/src/mips_emulator/mod.rs b/src/mips_emulator/mod.rs → prover/src/mips_emulator/mod.rs
diff --git a/src/mips_emulator/opcode_id.rs → prover/src/mips_emulator/opcode_id.rs b/src/mips_emulator/opcode_id.rs → prover/src/mips_emulator/opcode_id.rs
diff --git a/src/mips_emulator/open_mips_tests/LICENSE → ...src/mips_emulator/open_mips_tests/LICENSE b/src/mips_emulator/open_mips_tests/LICENSE → ...src/mips_emulator/open_mips_tests/LICENSE
diff --git a/src/mips_emulator/open_mips_tests/README.md → ...c/mips_emulator/open_mips_tests/README.md b/src/mips_emulator/open_mips_tests/README.md → ...c/mips_emulator/open_mips_tests/README.md
diff --git a/...ips_emulator/open_mips_tests/maketests.py → ...ips_emulator/open_mips_tests/maketests.py b/...ips_emulator/open_mips_tests/maketests.py → ...ips_emulator/open_mips_tests/maketests.py
diff --git a/...ips_emulator/open_mips_tests/test/add.asm → ...ips_emulator/open_mips_tests/test/add.asm b/...ips_emulator/open_mips_tests/test/add.asm → ...ips_emulator/open_mips_tests/test/add.asm
diff --git a/...ps_emulator/open_mips_tests/test/addi.asm → ...ps_emulator/open_mips_tests/test/addi.asm b/...ps_emulator/open_mips_tests/test/addi.asm → ...ps_emulator/open_mips_tests/test/addi.asm
diff --git a/...s_emulator/open_mips_tests/test/addiu.asm → ...s_emulator/open_mips_tests/test/addiu.asm b/...s_emulator/open_mips_tests/test/addiu.asm → ...s_emulator/open_mips_tests/test/addiu.asm
diff --git a/...ps_emulator/open_mips_tests/test/addu.asm → ...ps_emulator/open_mips_tests/test/addu.asm b/...ps_emulator/open_mips_tests/test/addu.asm → ...ps_emulator/open_mips_tests/test/addu.asm
diff --git a/...ips_emulator/open_mips_tests/test/and.asm → ...ips_emulator/open_mips_tests/test/and.asm b/...ips_emulator/open_mips_tests/test/and.asm → ...ips_emulator/open_mips_tests/test/and.asm
diff --git a/...ps_emulator/open_mips_tests/test/andi.asm → ...ps_emulator/open_mips_tests/test/andi.asm b/...ps_emulator/open_mips_tests/test/andi.asm → ...ps_emulator/open_mips_tests/test/andi.asm
diff --git a/...ips_emulator/open_mips_tests/test/beq.asm → ...ips_emulator/open_mips_tests/test/beq.asm b/...ips_emulator/open_mips_tests/test/beq.asm → ...ips_emulator/open_mips_tests/test/beq.asm
diff --git a/...ps_emulator/open_mips_tests/test/bgez.asm → ...ps_emulator/open_mips_tests/test/bgez.asm b/...ps_emulator/open_mips_tests/test/bgez.asm → ...ps_emulator/open_mips_tests/test/bgez.asm
diff --git a/...ps_emulator/open_mips_tests/test/bgtz.asm → ...ps_emulator/open_mips_tests/test/bgtz.asm b/...ps_emulator/open_mips_tests/test/bgtz.asm → ...ps_emulator/open_mips_tests/test/bgtz.asm
diff --git a/...emulator/open_mips_tests/test/bin/add.bin → ...emulator/open_mips_tests/test/bin/add.bin b/...emulator/open_mips_tests/test/bin/add.bin → ...emulator/open_mips_tests/test/bin/add.bin
diff --git a/...mulator/open_mips_tests/test/bin/addi.bin → ...mulator/open_mips_tests/test/bin/addi.bin b/...mulator/open_mips_tests/test/bin/addi.bin → ...mulator/open_mips_tests/test/bin/addi.bin
diff --git a/...ulator/open_mips_tests/test/bin/addiu.bin → ...ulator/open_mips_tests/test/bin/addiu.bin b/...ulator/open_mips_tests/test/bin/addiu.bin → ...ulator/open_mips_tests/test/bin/addiu.bin
diff --git a/...mulator/open_mips_tests/test/bin/addu.bin → ...mulator/open_mips_tests/test/bin/addu.bin b/...mulator/open_mips_tests/test/bin/addu.bin → ...mulator/open_mips_tests/test/bin/addu.bin
diff --git a/...emulator/open_mips_tests/test/bin/and.bin → ...emulator/open_mips_tests/test/bin/and.bin b/...emulator/open_mips_tests/test/bin/and.bin → ...emulator/open_mips_tests/test/bin/and.bin
diff --git a/...mulator/open_mips_tests/test/bin/andi.bin → ...mulator/open_mips_tests/test/bin/andi.bin b/...mulator/open_mips_tests/test/bin/andi.bin → ...mulator/open_mips_tests/test/bin/andi.bin
diff --git a/...emulator/open_mips_tests/test/bin/beq.bin → ...emulator/open_mips_tests/test/bin/beq.bin b/...emulator/open_mips_tests/test/bin/beq.bin → ...emulator/open_mips_tests/test/bin/beq.bin
diff --git a/...mulator/open_mips_tests/test/bin/bgez.bin → ...mulator/open_mips_tests/test/bin/bgez.bin b/...mulator/open_mips_tests/test/bin/bgez.bin → ...mulator/open_mips_tests/test/bin/bgez.bin
diff --git a/...mulator/open_mips_tests/test/bin/bgtz.bin → ...mulator/open_mips_tests/test/bin/bgtz.bin b/...mulator/open_mips_tests/test/bin/bgtz.bin → ...mulator/open_mips_tests/test/bin/bgtz.bin
diff --git a/...mulator/open_mips_tests/test/bin/blez.bin → ...mulator/open_mips_tests/test/bin/blez.bin b/...mulator/open_mips_tests/test/bin/blez.bin → ...mulator/open_mips_tests/test/bin/blez.bin
diff --git a/...mulator/open_mips_tests/test/bin/bltz.bin → ...mulator/open_mips_tests/test/bin/bltz.bin b/...mulator/open_mips_tests/test/bin/bltz.bin → ...mulator/open_mips_tests/test/bin/bltz.bin
diff --git a/...emulator/open_mips_tests/test/bin/bne.bin → ...emulator/open_mips_tests/test/bin/bne.bin b/...emulator/open_mips_tests/test/bin/bne.bin → ...emulator/open_mips_tests/test/bin/bne.bin
diff --git a/...emulator/open_mips_tests/test/bin/clo.bin → ...emulator/open_mips_tests/test/bin/clo.bin b/...emulator/open_mips_tests/test/bin/clo.bin → ...emulator/open_mips_tests/test/bin/clo.bin
diff --git a/...emulator/open_mips_tests/test/bin/clz.bin → ...emulator/open_mips_tests/test/bin/clz.bin b/...emulator/open_mips_tests/test/bin/clz.bin → ...emulator/open_mips_tests/test/bin/clz.bin
diff --git a/...emulator/open_mips_tests/test/bin/div.bin → ...emulator/open_mips_tests/test/bin/div.bin b/...emulator/open_mips_tests/test/bin/div.bin → ...emulator/open_mips_tests/test/bin/div.bin
diff --git a/...mulator/open_mips_tests/test/bin/divu.bin → ...mulator/open_mips_tests/test/bin/divu.bin b/...mulator/open_mips_tests/test/bin/divu.bin → ...mulator/open_mips_tests/test/bin/divu.bin
diff --git a/...s_emulator/open_mips_tests/test/bin/j.bin → ...s_emulator/open_mips_tests/test/bin/j.bin b/...s_emulator/open_mips_tests/test/bin/j.bin → ...s_emulator/open_mips_tests/test/bin/j.bin
diff --git a/...emulator/open_mips_tests/test/bin/jal.bin → ...emulator/open_mips_tests/test/bin/jal.bin b/...emulator/open_mips_tests/test/bin/jal.bin → ...emulator/open_mips_tests/test/bin/jal.bin
diff --git a/...mulator/open_mips_tests/test/bin/jalr.bin → ...mulator/open_mips_tests/test/bin/jalr.bin b/...mulator/open_mips_tests/test/bin/jalr.bin → ...mulator/open_mips_tests/test/bin/jalr.bin
diff --git a/..._emulator/open_mips_tests/test/bin/jr.bin → ..._emulator/open_mips_tests/test/bin/jr.bin b/..._emulator/open_mips_tests/test/bin/jr.bin → ..._emulator/open_mips_tests/test/bin/jr.bin
diff --git a/..._emulator/open_mips_tests/test/bin/lb.bin → ..._emulator/open_mips_tests/test/bin/lb.bin b/..._emulator/open_mips_tests/test/bin/lb.bin → ..._emulator/open_mips_tests/test/bin/lb.bin
diff --git a/...emulator/open_mips_tests/test/bin/lbu.bin → ...emulator/open_mips_tests/test/bin/lbu.bin b/...emulator/open_mips_tests/test/bin/lbu.bin → ...emulator/open_mips_tests/test/bin/lbu.bin
diff --git a/..._emulator/open_mips_tests/test/bin/lh.bin → ..._emulator/open_mips_tests/test/bin/lh.bin b/..._emulator/open_mips_tests/test/bin/lh.bin → ..._emulator/open_mips_tests/test/bin/lh.bin
diff --git a/...emulator/open_mips_tests/test/bin/lhu.bin → ...emulator/open_mips_tests/test/bin/lhu.bin b/...emulator/open_mips_tests/test/bin/lhu.bin → ...emulator/open_mips_tests/test/bin/lhu.bin
diff --git a/...emulator/open_mips_tests/test/bin/lui.bin → ...emulator/open_mips_tests/test/bin/lui.bin b/...emulator/open_mips_tests/test/bin/lui.bin → ...emulator/open_mips_tests/test/bin/lui.bin
diff --git a/..._emulator/open_mips_tests/test/bin/lw.bin → ..._emulator/open_mips_tests/test/bin/lw.bin b/..._emulator/open_mips_tests/test/bin/lw.bin → ..._emulator/open_mips_tests/test/bin/lw.bin
diff --git a/...emulator/open_mips_tests/test/bin/lwl.bin → ...emulator/open_mips_tests/test/bin/lwl.bin b/...emulator/open_mips_tests/test/bin/lwl.bin → ...emulator/open_mips_tests/test/bin/lwl.bin
diff --git a/...emulator/open_mips_tests/test/bin/lwr.bin → ...emulator/open_mips_tests/test/bin/lwr.bin b/...emulator/open_mips_tests/test/bin/lwr.bin → ...emulator/open_mips_tests/test/bin/lwr.bin
diff --git a/...ulator/open_mips_tests/test/bin/mfthi.bin → ...ulator/open_mips_tests/test/bin/mfthi.bin b/...ulator/open_mips_tests/test/bin/mfthi.bin → ...ulator/open_mips_tests/test/bin/mfthi.bin
diff --git a/...ulator/open_mips_tests/test/bin/mftlo.bin → ...ulator/open_mips_tests/test/bin/mftlo.bin b/...ulator/open_mips_tests/test/bin/mftlo.bin → ...ulator/open_mips_tests/test/bin/mftlo.bin
diff --git a/...mulator/open_mips_tests/test/bin/movn.bin → ...mulator/open_mips_tests/test/bin/movn.bin b/...mulator/open_mips_tests/test/bin/movn.bin → ...mulator/open_mips_tests/test/bin/movn.bin
diff --git a/...mulator/open_mips_tests/test/bin/movz.bin → ...mulator/open_mips_tests/test/bin/movz.bin b/...mulator/open_mips_tests/test/bin/movz.bin → ...mulator/open_mips_tests/test/bin/movz.bin
diff --git a/...emulator/open_mips_tests/test/bin/mul.bin → ...emulator/open_mips_tests/test/bin/mul.bin b/...emulator/open_mips_tests/test/bin/mul.bin → ...emulator/open_mips_tests/test/bin/mul.bin
diff --git a/...mulator/open_mips_tests/test/bin/mult.bin → ...mulator/open_mips_tests/test/bin/mult.bin b/...mulator/open_mips_tests/test/bin/mult.bin → ...mulator/open_mips_tests/test/bin/mult.bin
diff --git a/...ulator/open_mips_tests/test/bin/multu.bin → ...ulator/open_mips_tests/test/bin/multu.bin b/...ulator/open_mips_tests/test/bin/multu.bin → ...ulator/open_mips_tests/test/bin/multu.bin
diff --git a/...emulator/open_mips_tests/test/bin/nor.bin → ...emulator/open_mips_tests/test/bin/nor.bin b/...emulator/open_mips_tests/test/bin/nor.bin → ...emulator/open_mips_tests/test/bin/nor.bin
diff --git a/...lator/open_mips_tests/test/bin/oracle.bin → ...lator/open_mips_tests/test/bin/oracle.bin b/...lator/open_mips_tests/test/bin/oracle.bin → ...lator/open_mips_tests/test/bin/oracle.bin
diff --git a/...emulator/open_mips_tests/test/bin/ori.bin → ...emulator/open_mips_tests/test/bin/ori.bin b/...emulator/open_mips_tests/test/bin/ori.bin → ...emulator/open_mips_tests/test/bin/ori.bin
diff --git a/..._emulator/open_mips_tests/test/bin/sb.bin → ..._emulator/open_mips_tests/test/bin/sb.bin b/..._emulator/open_mips_tests/test/bin/sb.bin → ..._emulator/open_mips_tests/test/bin/sb.bin
diff --git a/..._emulator/open_mips_tests/test/bin/sh.bin → ..._emulator/open_mips_tests/test/bin/sh.bin b/..._emulator/open_mips_tests/test/bin/sh.bin → ..._emulator/open_mips_tests/test/bin/sh.bin
diff --git a/...emulator/open_mips_tests/test/bin/sll.bin → ...emulator/open_mips_tests/test/bin/sll.bin b/...emulator/open_mips_tests/test/bin/sll.bin → ...emulator/open_mips_tests/test/bin/sll.bin
diff --git a/...mulator/open_mips_tests/test/bin/sllv.bin → ...mulator/open_mips_tests/test/bin/sllv.bin b/...mulator/open_mips_tests/test/bin/sllv.bin → ...mulator/open_mips_tests/test/bin/sllv.bin
diff --git a/...emulator/open_mips_tests/test/bin/slt.bin → ...emulator/open_mips_tests/test/bin/slt.bin b/...emulator/open_mips_tests/test/bin/slt.bin → ...emulator/open_mips_tests/test/bin/slt.bin
diff --git a/...mulator/open_mips_tests/test/bin/slti.bin → ...mulator/open_mips_tests/test/bin/slti.bin b/...mulator/open_mips_tests/test/bin/slti.bin → ...mulator/open_mips_tests/test/bin/slti.bin
diff --git a/...ulator/open_mips_tests/test/bin/sltiu.bin → ...ulator/open_mips_tests/test/bin/sltiu.bin b/...ulator/open_mips_tests/test/bin/sltiu.bin → ...ulator/open_mips_tests/test/bin/sltiu.bin
diff --git a/...mulator/open_mips_tests/test/bin/sltu.bin → ...mulator/open_mips_tests/test/bin/sltu.bin b/...mulator/open_mips_tests/test/bin/sltu.bin → ...mulator/open_mips_tests/test/bin/sltu.bin
diff --git a/...emulator/open_mips_tests/test/bin/sra.bin → ...emulator/open_mips_tests/test/bin/sra.bin b/...emulator/open_mips_tests/test/bin/sra.bin → ...emulator/open_mips_tests/test/bin/sra.bin
diff --git a/...mulator/open_mips_tests/test/bin/srav.bin → ...mulator/open_mips_tests/test/bin/srav.bin b/...mulator/open_mips_tests/test/bin/srav.bin → ...mulator/open_mips_tests/test/bin/srav.bin
diff --git a/...emulator/open_mips_tests/test/bin/srl.bin → ...emulator/open_mips_tests/test/bin/srl.bin b/...emulator/open_mips_tests/test/bin/srl.bin → ...emulator/open_mips_tests/test/bin/srl.bin
diff --git a/...mulator/open_mips_tests/test/bin/srlv.bin → ...mulator/open_mips_tests/test/bin/srlv.bin b/...mulator/open_mips_tests/test/bin/srlv.bin → ...mulator/open_mips_tests/test/bin/srlv.bin
diff --git a/...emulator/open_mips_tests/test/bin/sub.bin → ...emulator/open_mips_tests/test/bin/sub.bin b/...emulator/open_mips_tests/test/bin/sub.bin → ...emulator/open_mips_tests/test/bin/sub.bin
diff --git a/...mulator/open_mips_tests/test/bin/subu.bin → ...mulator/open_mips_tests/test/bin/subu.bin b/...mulator/open_mips_tests/test/bin/subu.bin → ...mulator/open_mips_tests/test/bin/subu.bin
diff --git a/...emulator/open_mips_tests/test/bin/swl.bin → ...emulator/open_mips_tests/test/bin/swl.bin b/...emulator/open_mips_tests/test/bin/swl.bin → ...emulator/open_mips_tests/test/bin/swl.bin
diff --git a/...emulator/open_mips_tests/test/bin/swr.bin → ...emulator/open_mips_tests/test/bin/swr.bin b/...emulator/open_mips_tests/test/bin/swr.bin → ...emulator/open_mips_tests/test/bin/swr.bin
diff --git a/...emulator/open_mips_tests/test/bin/xor.bin → ...emulator/open_mips_tests/test/bin/xor.bin b/...emulator/open_mips_tests/test/bin/xor.bin → ...emulator/open_mips_tests/test/bin/xor.bin
diff --git a/...mulator/open_mips_tests/test/bin/xori.bin → ...mulator/open_mips_tests/test/bin/xori.bin b/...mulator/open_mips_tests/test/bin/xori.bin → ...mulator/open_mips_tests/test/bin/xori.bin
diff --git a/...ps_emulator/open_mips_tests/test/blez.asm → ...ps_emulator/open_mips_tests/test/blez.asm b/...ps_emulator/open_mips_tests/test/blez.asm → ...ps_emulator/open_mips_tests/test/blez.asm
diff --git a/...ps_emulator/open_mips_tests/test/bltz.asm → ...ps_emulator/open_mips_tests/test/bltz.asm b/...ps_emulator/open_mips_tests/test/bltz.asm → ...ps_emulator/open_mips_tests/test/bltz.asm
diff --git a/...ips_emulator/open_mips_tests/test/bne.asm → ...ips_emulator/open_mips_tests/test/bne.asm b/...ips_emulator/open_mips_tests/test/bne.asm → ...ips_emulator/open_mips_tests/test/bne.asm
diff --git a/...ips_emulator/open_mips_tests/test/clo.asm → ...ips_emulator/open_mips_tests/test/clo.asm b/...ips_emulator/open_mips_tests/test/clo.asm → ...ips_emulator/open_mips_tests/test/clo.asm
diff --git a/...ips_emulator/open_mips_tests/test/clz.asm → ...ips_emulator/open_mips_tests/test/clz.asm b/...ips_emulator/open_mips_tests/test/clz.asm → ...ips_emulator/open_mips_tests/test/clz.asm
diff --git a/...ips_emulator/open_mips_tests/test/div.asm → ...ips_emulator/open_mips_tests/test/div.asm b/...ips_emulator/open_mips_tests/test/div.asm → ...ips_emulator/open_mips_tests/test/div.asm
diff --git a/...ps_emulator/open_mips_tests/test/divu.asm → ...ps_emulator/open_mips_tests/test/divu.asm b/...ps_emulator/open_mips_tests/test/divu.asm → ...ps_emulator/open_mips_tests/test/divu.asm
diff --git a/src/mips_emulator/open_mips_tests/test/j.asm → .../mips_emulator/open_mips_tests/test/j.asm b/src/mips_emulator/open_mips_tests/test/j.asm → .../mips_emulator/open_mips_tests/test/j.asm
diff --git a/...ips_emulator/open_mips_tests/test/jal.asm → ...ips_emulator/open_mips_tests/test/jal.asm b/...ips_emulator/open_mips_tests/test/jal.asm → ...ips_emulator/open_mips_tests/test/jal.asm
diff --git a/...ps_emulator/open_mips_tests/test/jalr.asm → ...ps_emulator/open_mips_tests/test/jalr.asm b/...ps_emulator/open_mips_tests/test/jalr.asm → ...ps_emulator/open_mips_tests/test/jalr.asm
diff --git a/...mips_emulator/open_mips_tests/test/jr.asm → ...mips_emulator/open_mips_tests/test/jr.asm b/...mips_emulator/open_mips_tests/test/jr.asm → ...mips_emulator/open_mips_tests/test/jr.asm
diff --git a/...mips_emulator/open_mips_tests/test/lb.asm → ...mips_emulator/open_mips_tests/test/lb.asm b/...mips_emulator/open_mips_tests/test/lb.asm → ...mips_emulator/open_mips_tests/test/lb.asm
diff --git a/...ips_emulator/open_mips_tests/test/lbu.asm → ...ips_emulator/open_mips_tests/test/lbu.asm b/...ips_emulator/open_mips_tests/test/lbu.asm → ...ips_emulator/open_mips_tests/test/lbu.asm
diff --git a/...mips_emulator/open_mips_tests/test/lh.asm → ...mips_emulator/open_mips_tests/test/lh.asm b/...mips_emulator/open_mips_tests/test/lh.asm → ...mips_emulator/open_mips_tests/test/lh.asm
diff --git a/...ips_emulator/open_mips_tests/test/lhu.asm → ...ips_emulator/open_mips_tests/test/lhu.asm b/...ips_emulator/open_mips_tests/test/lhu.asm → ...ips_emulator/open_mips_tests/test/lhu.asm
diff --git a/...ips_emulator/open_mips_tests/test/lui.asm → ...ips_emulator/open_mips_tests/test/lui.asm b/...ips_emulator/open_mips_tests/test/lui.asm → ...ips_emulator/open_mips_tests/test/lui.asm
diff --git a/...mips_emulator/open_mips_tests/test/lw.asm → ...mips_emulator/open_mips_tests/test/lw.asm b/...mips_emulator/open_mips_tests/test/lw.asm → ...mips_emulator/open_mips_tests/test/lw.asm
diff --git a/...ips_emulator/open_mips_tests/test/lwl.asm → ...ips_emulator/open_mips_tests/test/lwl.asm b/...ips_emulator/open_mips_tests/test/lwl.asm → ...ips_emulator/open_mips_tests/test/lwl.asm
diff --git a/...ips_emulator/open_mips_tests/test/lwr.asm → ...ips_emulator/open_mips_tests/test/lwr.asm b/...ips_emulator/open_mips_tests/test/lwr.asm → ...ips_emulator/open_mips_tests/test/lwr.asm
diff --git a/...s_emulator/open_mips_tests/test/mfthi.asm → ...s_emulator/open_mips_tests/test/mfthi.asm b/...s_emulator/open_mips_tests/test/mfthi.asm → ...s_emulator/open_mips_tests/test/mfthi.asm
diff --git a/...s_emulator/open_mips_tests/test/mftlo.asm → ...s_emulator/open_mips_tests/test/mftlo.asm b/...s_emulator/open_mips_tests/test/mftlo.asm → ...s_emulator/open_mips_tests/test/mftlo.asm
diff --git a/...ps_emulator/open_mips_tests/test/movn.asm → ...ps_emulator/open_mips_tests/test/movn.asm b/...ps_emulator/open_mips_tests/test/movn.asm → ...ps_emulator/open_mips_tests/test/movn.asm
diff --git a/...ps_emulator/open_mips_tests/test/movz.asm → ...ps_emulator/open_mips_tests/test/movz.asm b/...ps_emulator/open_mips_tests/test/movz.asm → ...ps_emulator/open_mips_tests/test/movz.asm
diff --git a/...ips_emulator/open_mips_tests/test/mul.asm → ...ips_emulator/open_mips_tests/test/mul.asm b/...ips_emulator/open_mips_tests/test/mul.asm → ...ips_emulator/open_mips_tests/test/mul.asm
diff --git a/...ps_emulator/open_mips_tests/test/mult.asm → ...ps_emulator/open_mips_tests/test/mult.asm b/...ps_emulator/open_mips_tests/test/mult.asm → ...ps_emulator/open_mips_tests/test/mult.asm
diff --git a/...s_emulator/open_mips_tests/test/multu.asm → ...s_emulator/open_mips_tests/test/multu.asm b/...s_emulator/open_mips_tests/test/multu.asm → ...s_emulator/open_mips_tests/test/multu.asm
diff --git a/...ips_emulator/open_mips_tests/test/nor.asm → ...ips_emulator/open_mips_tests/test/nor.asm b/...ips_emulator/open_mips_tests/test/nor.asm → ...ips_emulator/open_mips_tests/test/nor.asm
diff --git a/..._emulator/open_mips_tests/test/oracle.asm → ..._emulator/open_mips_tests/test/oracle.asm b/..._emulator/open_mips_tests/test/oracle.asm → ..._emulator/open_mips_tests/test/oracle.asm
diff --git a/...ips_emulator/open_mips_tests/test/ori.asm → ...ips_emulator/open_mips_tests/test/ori.asm b/...ips_emulator/open_mips_tests/test/ori.asm → ...ips_emulator/open_mips_tests/test/ori.asm
diff --git a/...mips_emulator/open_mips_tests/test/sb.asm → ...mips_emulator/open_mips_tests/test/sb.asm b/...mips_emulator/open_mips_tests/test/sb.asm → ...mips_emulator/open_mips_tests/test/sb.asm
diff --git a/...mips_emulator/open_mips_tests/test/sh.asm → ...mips_emulator/open_mips_tests/test/sh.asm b/...mips_emulator/open_mips_tests/test/sh.asm → ...mips_emulator/open_mips_tests/test/sh.asm
diff --git a/...ips_emulator/open_mips_tests/test/sll.asm → ...ips_emulator/open_mips_tests/test/sll.asm b/...ips_emulator/open_mips_tests/test/sll.asm → ...ips_emulator/open_mips_tests/test/sll.asm
diff --git a/...ps_emulator/open_mips_tests/test/sllv.asm → ...ps_emulator/open_mips_tests/test/sllv.asm b/...ps_emulator/open_mips_tests/test/sllv.asm → ...ps_emulator/open_mips_tests/test/sllv.asm
diff --git a/...ips_emulator/open_mips_tests/test/slt.asm → ...ips_emulator/open_mips_tests/test/slt.asm b/...ips_emulator/open_mips_tests/test/slt.asm → ...ips_emulator/open_mips_tests/test/slt.asm
diff --git a/...ps_emulator/open_mips_tests/test/slti.asm → ...ps_emulator/open_mips_tests/test/slti.asm b/...ps_emulator/open_mips_tests/test/slti.asm → ...ps_emulator/open_mips_tests/test/slti.asm
diff --git a/...s_emulator/open_mips_tests/test/sltiu.asm → ...s_emulator/open_mips_tests/test/sltiu.asm b/...s_emulator/open_mips_tests/test/sltiu.asm → ...s_emulator/open_mips_tests/test/sltiu.asm
diff --git a/...ps_emulator/open_mips_tests/test/sltu.asm → ...ps_emulator/open_mips_tests/test/sltu.asm b/...ps_emulator/open_mips_tests/test/sltu.asm → ...ps_emulator/open_mips_tests/test/sltu.asm
diff --git a/...ips_emulator/open_mips_tests/test/sra.asm → ...ips_emulator/open_mips_tests/test/sra.asm b/...ips_emulator/open_mips_tests/test/sra.asm → ...ips_emulator/open_mips_tests/test/sra.asm
diff --git a/...ps_emulator/open_mips_tests/test/srav.asm → ...ps_emulator/open_mips_tests/test/srav.asm b/...ps_emulator/open_mips_tests/test/srav.asm → ...ps_emulator/open_mips_tests/test/srav.asm
diff --git a/...ips_emulator/open_mips_tests/test/srl.asm → ...ips_emulator/open_mips_tests/test/srl.asm b/...ips_emulator/open_mips_tests/test/srl.asm → ...ips_emulator/open_mips_tests/test/srl.asm
diff --git a/...ps_emulator/open_mips_tests/test/srlv.asm → ...ps_emulator/open_mips_tests/test/srlv.asm b/...ps_emulator/open_mips_tests/test/srlv.asm → ...ps_emulator/open_mips_tests/test/srlv.asm
diff --git a/...ips_emulator/open_mips_tests/test/sub.asm → ...ips_emulator/open_mips_tests/test/sub.asm b/...ips_emulator/open_mips_tests/test/sub.asm → ...ips_emulator/open_mips_tests/test/sub.asm
diff --git a/...ps_emulator/open_mips_tests/test/subu.asm → ...ps_emulator/open_mips_tests/test/subu.asm b/...ps_emulator/open_mips_tests/test/subu.asm → ...ps_emulator/open_mips_tests/test/subu.asm
diff --git a/...ips_emulator/open_mips_tests/test/swl.asm → ...ips_emulator/open_mips_tests/test/swl.asm b/...ips_emulator/open_mips_tests/test/swl.asm → ...ips_emulator/open_mips_tests/test/swl.asm
diff --git a/...ips_emulator/open_mips_tests/test/swr.asm → ...ips_emulator/open_mips_tests/test/swr.asm b/...ips_emulator/open_mips_tests/test/swr.asm → ...ips_emulator/open_mips_tests/test/swr.asm
diff --git a/...ips_emulator/open_mips_tests/test/xor.asm → ...ips_emulator/open_mips_tests/test/xor.asm b/...ips_emulator/open_mips_tests/test/xor.asm → ...ips_emulator/open_mips_tests/test/xor.asm
diff --git a/...ps_emulator/open_mips_tests/test/xori.asm → ...ps_emulator/open_mips_tests/test/xori.asm b/...ps_emulator/open_mips_tests/test/xori.asm → ...ps_emulator/open_mips_tests/test/xori.asm
diff --git a/src/mips_emulator/page.rs → prover/src/mips_emulator/page.rs b/src/mips_emulator/page.rs → prover/src/mips_emulator/page.rs
diff --git a/src/mips_emulator/readme.md → prover/src/mips_emulator/readme.md b/src/mips_emulator/readme.md → prover/src/mips_emulator/readme.md
diff --git a/src/mips_emulator/state.rs → prover/src/mips_emulator/state.rs b/src/mips_emulator/state.rs → prover/src/mips_emulator/state.rs
diff --git a/src/mips_emulator/tests.rs → prover/src/mips_emulator/tests.rs b/src/mips_emulator/tests.rs → prover/src/mips_emulator/tests.rs
@@ -54,7 +54,7 @@ mod tests {
 
     #[test]
     fn test_execute_hello() {
-        let path = PathBuf::from("./test-vectors/hello");
+        let path = PathBuf::from("../test-vectors/hello");
         let data = fs::read(path).expect("could not read file");
         let file =
             ElfBytes::<AnyEndian>::minimal_parse(data.as_slice()).expect("opening elf file failed");
@@ -75,7 +75,7 @@ mod tests {
 
     #[test]
     fn test_execute_rust_fib() {
-        let path = PathBuf::from("./test-vectors/rust_fib");
+        let path = PathBuf::from("../test-vectors/rust_fib");
         let data = fs::read(path).expect("could not read file");
         let file =
             ElfBytes::<AnyEndian>::minimal_parse(data.as_slice()).expect("opening elf file failed");
@@ -96,7 +96,7 @@ mod tests {
     #[test]
     #[ignore]
     fn test_execute_minigeth() {
-        let path = PathBuf::from("./test-vectors/minigeth");
+        let path = PathBuf::from("../test-vectors/minigeth");
         let data = fs::read(path).expect("could not read file");
         let file =
             ElfBytes::<AnyEndian>::minimal_parse(data.as_slice()).expect("opening elf file failed");
@@ -105,7 +105,7 @@ mod tests {
         state.patch_elf(&file);
         state.patch_stack(vec![]);
 
-        let block_path = get_block_path("./test-vectors", "13284491", "");
+        let block_path = get_block_path("../test-vectors", "13284491", "");
         state.load_input(&block_path);
 
         let mut instrumented_state = InstrumentedState::new(state, block_path);
@@ -131,7 +131,7 @@ mod tests {
 
     #[test]
     fn test_execute_split_hello() {
-        let path = PathBuf::from("./test-vectors/hello");
+        let path = PathBuf::from("../test-vectors/hello");
         let data = fs::read(path).expect("could not read file");
         let file =
             ElfBytes::<AnyEndian>::minimal_parse(data.as_slice()).expect("opening elf file failed");

diff --git a/src/mips_emulator/utils.rs → prover/src/mips_emulator/utils.rs b/src/mips_emulator/utils.rs → prover/src/mips_emulator/utils.rs
diff --git a/src/mips_emulator/witness.rs → prover/src/mips_emulator/witness.rs b/src/mips_emulator/witness.rs → prover/src/mips_emulator/witness.rs
diff --git a/src/poseidon/columns.rs → prover/src/poseidon/columns.rs b/src/poseidon/columns.rs → prover/src/poseidon/columns.rs
diff --git a/src/poseidon/constants.rs → prover/src/poseidon/constants.rs b/src/poseidon/constants.rs → prover/src/poseidon/constants.rs
diff --git a/src/poseidon/mod.rs → prover/src/poseidon/mod.rs b/src/poseidon/mod.rs → prover/src/poseidon/mod.rs
diff --git a/src/poseidon/poseidon_stark.rs → prover/src/poseidon/poseidon_stark.rs b/src/poseidon/poseidon_stark.rs → prover/src/poseidon/poseidon_stark.rs
diff --git a/src/poseidon_sponge/columns.rs → prover/src/poseidon_sponge/columns.rs b/src/poseidon_sponge/columns.rs → prover/src/poseidon_sponge/columns.rs
diff --git a/src/poseidon_sponge/mod.rs → prover/src/poseidon_sponge/mod.rs b/src/poseidon_sponge/mod.rs → prover/src/poseidon_sponge/mod.rs
diff --git a/src/poseidon_sponge/poseidon_sponge_stark.rs → .../poseidon_sponge/poseidon_sponge_stark.rs b/src/poseidon_sponge/poseidon_sponge_stark.rs → .../poseidon_sponge/poseidon_sponge_stark.rs
diff --git a/src/proof.rs → prover/src/proof.rs b/src/proof.rs → prover/src/proof.rs
diff --git a/src/prover.rs → prover/src/prover.rs b/src/prover.rs → prover/src/prover.rs
diff --git a/src/recursive_verifier.rs → prover/src/recursive_verifier.rs b/src/recursive_verifier.rs → prover/src/recursive_verifier.rs
diff --git a/src/stark.rs → prover/src/stark.rs b/src/stark.rs → prover/src/stark.rs
diff --git a/src/stark_testing.rs → prover/src/stark_testing.rs b/src/stark_testing.rs → prover/src/stark_testing.rs
diff --git a/src/util.rs → prover/src/util.rs b/src/util.rs → prover/src/util.rs
diff --git a/src/vanishing_poly.rs → prover/src/vanishing_poly.rs b/src/vanishing_poly.rs → prover/src/vanishing_poly.rs
diff --git a/src/verifier.rs → prover/src/verifier.rs b/src/verifier.rs → prover/src/verifier.rs
diff --git a/src/witness/errors.rs → prover/src/witness/errors.rs b/src/witness/errors.rs → prover/src/witness/errors.rs
diff --git a/src/witness/memory.rs → prover/src/witness/memory.rs b/src/witness/memory.rs → prover/src/witness/memory.rs
diff --git a/src/witness/mod.rs → prover/src/witness/mod.rs b/src/witness/mod.rs → prover/src/witness/mod.rs
diff --git a/src/witness/operation.rs → prover/src/witness/operation.rs b/src/witness/operation.rs → prover/src/witness/operation.rs
diff --git a/src/witness/state.rs → prover/src/witness/state.rs b/src/witness/state.rs → prover/src/witness/state.rs
diff --git a/src/witness/traces.rs → prover/src/witness/traces.rs b/src/witness/traces.rs → prover/src/witness/traces.rs
diff --git a/src/witness/transition.rs → prover/src/witness/transition.rs b/src/witness/transition.rs → prover/src/witness/transition.rs
diff --git a/src/witness/util.rs → prover/src/witness/util.rs b/src/witness/util.rs → prover/src/witness/util.rs
diff --git a/runtime/entrypoint/src/libm.rs b/runtime/entrypoint/src/libm.rs
@@ -1,5 +1,5 @@
 //! Ported from Entrypoint for SP1 zkVM.
-//! 
+//!
 #[no_mangle]
 pub extern "C" fn acos(x: f64) -> f64 {
     libm::acos(x)

diff --git a/runtime/precompiles/src/io.rs b/runtime/precompiles/src/io.rs
@@ -6,6 +6,7 @@ use crate::{syscall_hint_len, syscall_hint_read};
 use serde::de::DeserializeOwned;
 use std::alloc::Layout;
 
+#[allow(dead_code)]
 pub struct SyscallWriter {
     fd: u32,
 }
@@ -52,4 +53,4 @@ pub fn read_vec() -> Vec<u8> {
 pub fn read<T: DeserializeOwned>() -> T {
     let vec = read_vec();
     bincode::deserialize(&vec).expect("deserialization failed")
-}
+}
-Original file line number
+Diff line change
@@ Expand Up / @@ -18,8 +18,6 @@ jobs: @@
         strategy:
           matrix:
             toolchain:
-              - stable
-              - beta
               - nightly
         steps:
           - uses: actions/checkout@v2
@@ Expand Down @@