From 3c2c0d33de485187149e9c09ac7cd75edc834ad4 Mon Sep 17 00:00:00 2001
From: Quang Dao <quang.dao@layerzerolabs.org>
Date: Fri, 26 Jun 2026 00:49:53 +0900
Subject: [PATCH] fix(verifier): derive zk mode from proof

---
 examples/recursion/guest/src/lib.rs | 2 +-
 examples/recursion/src/main.rs      | 4 ++--
 jolt-eval/src/guests/mod.rs         | 4 ++--
 jolt-sdk/tests/verifier_api.rs      | 2 +-
 src/build_wasm.rs                   | 2 +-
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/examples/recursion/guest/src/lib.rs b/examples/recursion/guest/src/lib.rs
index 976f386fce..634f223682 100644
--- a/examples/recursion/guest/src/lib.rs
+++ b/examples/recursion/guest/src/lib.rs
@@ -74,7 +74,7 @@ fn verify(bytes: &[u8]) -> u32 {
             jolt::VerifierPCS,
             jolt::VerifierVC,
             jolt::VerifierTranscript,
-        >(&verifier_preprocessing, &device, &proof, None, false)
+        >(&verifier_preprocessing, &device, &proof, None, proof.claims.is_zk())
         .is_ok();
         end_cycle_tracking("verification");
         all_valid = all_valid && is_valid;
diff --git a/examples/recursion/src/main.rs b/examples/recursion/src/main.rs
index e49efa089a..74e417d23d 100644
--- a/examples/recursion/src/main.rs
+++ b/examples/recursion/src/main.rs
@@ -429,7 +429,7 @@ fn collect_guest_proofs(
             &io_device,
             &proof,
             None,
-            false,
+            proof.claims.is_zk(),
         )
         .is_ok();
         info!("  Verification result: {is_valid}");
@@ -608,7 +608,7 @@ fn run_recursion_proof(
                 &io_device,
                 &proof,
                 None,
-                false,
+                proof.claims.is_zk(),
             )
             .is_ok();
             let rv = postcard::from_bytes::<u32>(&output_bytes).unwrap();
diff --git a/jolt-eval/src/guests/mod.rs b/jolt-eval/src/guests/mod.rs
index 12ef43c8c3..535ce97dd0 100644
--- a/jolt-eval/src/guests/mod.rs
+++ b/jolt-eval/src/guests/mod.rs
@@ -73,7 +73,7 @@ pub fn verify(
         io_device,
         &proof,
         None,
-        false,
+        proof.claims.is_zk(),
     )
 }
 
@@ -105,7 +105,7 @@ pub fn verify_with_claims(
         &io_device,
         &proof,
         None,
-        false,
+        proof.claims.is_zk(),
     )
 }
 
diff --git a/jolt-sdk/tests/verifier_api.rs b/jolt-sdk/tests/verifier_api.rs
index 0c27f4307e..ce93ca82ad 100644
--- a/jolt-sdk/tests/verifier_api.rs
+++ b/jolt-sdk/tests/verifier_api.rs
@@ -41,7 +41,7 @@ mod tests {
             jolt_sdk::VerifierPCS,
             jolt_sdk::VerifierVC,
             jolt_sdk::VerifierTranscript,
-        >(&preprocessing, &device, &proof, None, false);
+        >(&preprocessing, &device, &proof, None, proof.claims.is_zk());
         let duration = start.elapsed();
         println!("Verification took: {} ms", duration.as_millis());
         assert!(result.is_ok(), "Verifier failed: {:?}", result.err());
diff --git a/src/build_wasm.rs b/src/build_wasm.rs
index ff993dc353..37029b709c 100644
--- a/src/build_wasm.rs
+++ b/src/build_wasm.rs
@@ -250,7 +250,7 @@ pub fn verify_{func_name}(preprocessing_data: &[u8], proof_data: &[u8], io_data:
         jolt_sdk::VerifierPCS,
         jolt_sdk::VerifierVC,
         jolt_sdk::VerifierTranscript,
-    >(&preprocessing, &program_io, &proof, None, false).is_ok()
+    >(&preprocessing, &program_io, &proof, None, proof.claims.is_zk()).is_ok()
 }}
 "#
         ));