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);