diff options
Diffstat (limited to 'zkvms/nexus/host/src/main.rs')
| -rw-r--r-- | zkvms/nexus/host/src/main.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/zkvms/nexus/host/src/main.rs b/zkvms/nexus/host/src/main.rs index 561c2f0..a4e7964 100644 --- a/zkvms/nexus/host/src/main.rs +++ b/zkvms/nexus/host/src/main.rs @@ -1,12 +1,10 @@ -use zkvms_host_io::{Input, read_args, RunType::{ Execute, Prove, Verify }}; +use zkvms_host_io::{Input, Output, read_args, RunType::{ Execute, Prove, Verify }}; use nexus_sdk::{ compile::CompileOpts, nova::seq::{Generate, Nova, PP}, Local, Prover, Verifiable, }; -type Output = bool; - fn main() { let run_info = read_args(); if run_info.run_type == Execute { |