1 files changed, 2 insertions, 7 deletions
diff --git a/zkvms/zkwasm/default.nix b/zkvms/zkwasm/default.nix
index 86d4687..0b269f8 100644
--- a/zkvms/zkwasm/default.nix
+++ b/zkvms/zkwasm/default.nix
@@ -6,9 +6,10 @@
   wasm-bindgen-cli,
   binaryen,
   craneLib-default,
+  stdenv,
 }:
 let
-  commonArgs = {
+  commonArgs = zkVM-helpers.withGeneratedLockfile {
     pname = "zkwasm";
     version = "infdev";
 
@@ -22,8 +23,6 @@ let
           ../../Vertices-010.in
       ]);
     };
-
-    cargoLock = ./Cargo.lock;
   };
 
   rust-toolchain = rust-bin.nightly."2024-04-09".default.override {
@@ -43,10 +42,6 @@ in
         binaryen
       ];
 
-      postPatch = ''
-        ln -s ../../../Cargo.lock ./zkvms/zkwasm/guest/
-      '';
-
       preBuildGuest = ''
         # Workaround from
         # https://github.com/rustwasm/wasm-pack/issues/1335