fix(zkvms/zkm): Downgrade host toolchain

The newest toolchain causes errors, an issue has been filed upstream:
https://github.com/zkMIPS/toolchain/issues/4
However, it is not certain when it will be resolved, so for now this
workaround will be used.

1 files changed, 3 insertions, 0 deletions

diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix
index fc45226..64f148b 100644
--- a/zkvms/zkm/default.nix
+++ b/zkvms/zkm/default.nix
@@ -2,6 +2,7 @@
   lib,
   just,
   metacraft-labs,
+  metacraft-labs-old,
   rust-bin,
   protobuf,
   pkg-config,
@@ -85,6 +86,8 @@ in
         export RUSTFLAGS="-L ${zkm_libsnark}/lib"
       '';
 
+      hostToolchain = metacraft-labs-old.zkm;
+
       preRunLibraries = [
         openssl
         zkm_libsnark