Update README (#195)

prover/examples/README.md

@@ -52,21 +52,10 @@ ARGS="711e9609339e92b03ddc0a211827dba421f38f9ed8b9d806e1ffdd8c15ffa03d world!" R
 
 ## Prove the Rust code 
 
-**Note**: the "mips-linux-muslsf-cross" supports Linux only. If your are using a MacOS, please refer to [#147](https://github.com/zkMIPS/zkm/issues/147). 
-
-* 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:
+* Download and install toolchain for mips-zkm-zkvm-elf
 
 ```
-[target.mips-unknown-linux-musl]
-linker = "<path-to>/mips-linux-muslsf-cross/bin/mips-linux-muslsf-gcc"
-rustflags = ["--cfg", 'target_os="zkvm"',"-C", "target-feature=+crt-static", "-C", "link-arg=-g"]
+curl --proto '=https' --tlsv1.2 -sSf https://raw.githubusercontent.com/zkMIPS/toolchain/refs/heads/main/setup.sh | sh
 ```
 
 * Build and run Sha2/revme (**new**)

prover/examples/revme/guest/Cargo.toml

@@ -17,10 +17,6 @@ models = { git = "https://github.com/eigmax/powdr-revme", branch = "continuation
 serde = { version = "1.0", default-features = false, features = ["alloc", "derive", "rc"] }
 serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
 k256 = { version = "0.13.3", features = ["ecdsa"], default-features = false }
-
-# TODO can be removed once the powdr RISCV nightly is updated
-ahash = { version = "=0.8.6", default-features = false }
-
 libc = { version = "0.2" , features = ["extra_traits"] }
 
 [profile.dev]