1 files changed, 1 insertions, 6 deletions
diff --git a/zkvms/nexus/guest/src/main.rs b/zkvms/nexus/guest/src/main.rs
index eb82cde..bb2e0c8 100644
--- a/zkvms/nexus/guest/src/main.rs
+++ b/zkvms/nexus/guest/src/main.rs
@@ -3,14 +3,9 @@
 use nexus_rt::{ postcard, println, read_private_input, write_output };
 
 extern crate alloc;
-use alloc::vec::Vec;
+use alloc::{ vec::*, collections::* };
 use wrapper_macro::make_wrapper;
 
-type Input = (Vec<Vec<bool>>, u32, Vec<Vec<u32>>);
-type Output = bool;
-
-const VERTICES: usize = 100;
-
 #[nexus_rt::main]
 fn main() {
     zkp::entrypoint_expr!()