chore: Update zkVM packages

This includes:
- Updating flake.lock
- Updating all host and guest Cargo.toml and Cargo.lock files
- Making zkvm default.nix file modifications to account for toolchain
and setup changes

1 files changed, 8 insertions, 4 deletions

diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix
index 13f19c0..86a019c 100644
--- a/zkvms/sp1/default.nix
+++ b/zkvms/sp1/default.nix
@@ -5,12 +5,18 @@
   metacraft-labs,
   pkg-config,
   craneLib-default,
+  gnum4,
 }:
 let
   commonArgs = {
     pname = "sp1";
     inherit (metacraft-labs.sp1) version;
 
+    nativeBuildInputs = [
+      metacraft-labs.sp1
+      gnum4
+    ];
+
     src = with lib.fileset; toSource {
       root = ../..;
       fileset = intersection (gitTracked ../..) (unions [
@@ -20,6 +26,8 @@ let
           ../../zkvms_host_io
       ]);
     };
+
+    extraLockfile = "${metacraft-labs.sp1}/Cargo.lock";
   };
 
   craneLib = craneLib-default.overrideToolchain metacraft-labs.sp1;
@@ -29,10 +37,6 @@ in
     // {
       inherit cargoArtifacts;
 
-      nativeBuildInputs = [
-        metacraft-labs.sp1
-      ];
-
       guestTarget = "riscv32im-succinct-zkvm-elf";
 
       doCheck = false;