diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-07 11:55:30 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-07 11:55:30 +0200 |
| commit | 1ad49dfa9b23d5cb312744a197deb757d7eb812d (patch) | |
| tree | 018f9fc69fb3c22031c22c81b0d792b3f7be56fb | |
| parent | 7e9f940a570dad1249d8021d8b5c734ec609ba40 (diff) | |
| download | zkVMs-benchmarks-1ad49dfa9b23d5cb312744a197deb757d7eb812d.tar zkVMs-benchmarks-1ad49dfa9b23d5cb312744a197deb757d7eb812d.tar.gz zkVMs-benchmarks-1ad49dfa9b23d5cb312744a197deb757d7eb812d.zip | |
fix(zkvms/jolt): Add proper panic on attempted execution
| -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); |