diff options
| -rw-r--r-- | zkvms/jolt/host/src/main.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/zkvms/jolt/host/src/main.rs b/zkvms/jolt/host/src/main.rs index afc1481..fee201f 100644 --- a/zkvms/jolt/host/src/main.rs +++ b/zkvms/jolt/host/src/main.rs @@ -4,6 +4,9 @@ type Input = (Vec<Vec<bool>>, u32, Vec<Vec<u32>>); pub fn main() { let run_info = read_args(); + if run_info.run_type == Execute { + panic!("Execution is not supported!"); + } let elf_path = std::env::var("ELF_PATH").expect("ELF PATH is missing"); let (prove_guest, verify_guest) = guest::guest_closures(elf_path); |