From 1ad49dfa9b23d5cb312744a197deb757d7eb812d Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Fri, 7 Feb 2025 11:55:30 +0200
Subject: fix(zkvms/jolt): Add proper panic on attempted execution

---
 zkvms/jolt/host/src/main.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'zkvms/jolt')

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);
-- 
cgit v1.2.3