7 files changed, 0 insertions, 11 deletions
diff --git a/Vertices-010.in b/Vertices-010.in
deleted file mode 100644
index d93d036..0000000
--- a/Vertices-010.in
+++ /dev/null
@@ -1,5 +0,0 @@
-(
-vec![vec![false, false, false, false, true, false, false, true, false, false], vec![false, false, false, true, false, false, false, false, false, false], vec![false, false, false, false, false, true, false, true, false, true], vec![false, true, false, false, true, false, false, false, true, true], vec![true, false, false, true, false, false, false, true, false, true], vec![false, false, true, false, false, false, false, true, false, false], vec![false, false, false, false, false, false, false, false, true, false], vec![true, false, true, false, true, true, false, false, true, true], vec![false, false, false, true, false, false, true, true, false, false], vec![false, false, true, true, true, false, false, true, false, false]],
-3,
-vec![vec![0, 2], vec![1, 1], vec![2, 1], vec![3, 0], vec![4, 1], vec![5, 2], vec![6, 0], vec![7, 0], vec![8, 1], vec![9, 2]]
-)
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
       ]);
     };
   };