diff options
Diffstat (limited to 'zkvms')
| -rw-r--r-- | zkvms/jolt/default.nix | 1 | ||||
| -rw-r--r-- | zkvms/nexus/default.nix | 1 | ||||
| -rw-r--r-- | zkvms/risc0/default.nix | 1 | ||||
| -rw-r--r-- | zkvms/sp1/default.nix | 1 | ||||
| -rw-r--r-- | zkvms/zkm/default.nix | 1 | ||||
| -rw-r--r-- | zkvms/zkwasm/default.nix | 1 |
6 files changed, 0 insertions, 6 deletions
diff --git a/zkvms/jolt/default.nix b/zkvms/jolt/default.nix index 1086cde..c3179e7 100644 --- a/zkvms/jolt/default.nix +++ b/zkvms/jolt/default.nix @@ -19,7 +19,6 @@ let ../../guests ../../guests_macro ../../zkvms_host_io - ../../Vertices-010.in ]); }; diff --git a/zkvms/nexus/default.nix b/zkvms/nexus/default.nix index b53052a..ea717bb 100644 --- a/zkvms/nexus/default.nix +++ b/zkvms/nexus/default.nix @@ -19,7 +19,6 @@ let ../../guests ../../guests_macro ../../zkvms_host_io - ../../Vertices-010.in ]); }; diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix index 0120f11..21525db 100644 --- a/zkvms/risc0/default.nix +++ b/zkvms/risc0/default.nix @@ -17,7 +17,6 @@ let ../../guests ../../guests_macro ../../zkvms_host_io - ../../Vertices-010.in ]); }; }; diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix index b20b568..962c9a9 100644 --- a/zkvms/sp1/default.nix +++ b/zkvms/sp1/default.nix @@ -18,7 +18,6 @@ let ../../guests ../../guests_macro ../../zkvms_host_io - ../../Vertices-010.in ]); }; }; diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix index b2ce912..110b54c 100644 --- a/zkvms/zkm/default.nix +++ b/zkvms/zkm/default.nix @@ -38,7 +38,6 @@ let ../../guests ../../guests_macro ../../zkvms_host_io - ../../Vertices-010.in ]); }; diff --git a/zkvms/zkwasm/default.nix b/zkvms/zkwasm/default.nix index e7aba3e..82315d2 100644 --- a/zkvms/zkwasm/default.nix +++ b/zkvms/zkwasm/default.nix @@ -20,7 +20,6 @@ let ../../guests ../../guests_macro ../../zkvms_host_io - ../../Vertices-010.in ]); }; }; |