Fix ZK verifier mode handling

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;

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

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(),
     )
 }
 

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

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()
 }}
 "#
         ));