Merge pull request #1063 from openmina/fuzzer_fixes

verification: prevent dump files during fuzzing

Author: dkuehr

ledger/src/proofs/step.rs

@@ -1948,7 +1948,12 @@ pub fn expand_deferred(params: ExpandDeferredParams) -> Result<DeferredValues<Fp
     let zeta = ScalarChallenge::limbs_to_field(&plonk0.zeta_bytes);
     let alpha = ScalarChallenge::limbs_to_field(&plonk0.alpha_bytes);
     let step_domain: u8 = proof_state.deferred_values.branch_data.domain_log2.as_u8();
-    let Some(domain) = Radix2EvaluationDomain::<Fp>::new(1 << step_domain as u64) else {
+
+    let Some(num_coeffs) = 1u64.checked_shl(step_domain as u32) else {
+        return Err(InvalidBigInt);
+    };
+
+    let Some(domain) = Radix2EvaluationDomain::<Fp>::new(num_coeffs as usize) else {
         return Err(InvalidBigInt);
     };
 

ledger/src/proofs/verification.rs

@@ -976,7 +976,7 @@ mod on_fail {
 
     #[allow(unreachable_code)]
     fn dump_to_file<D: BinProtWrite>(data: &D, filename: &str) {
-        #[cfg(test)]
+        #[cfg(any(test, feature = "fuzzing"))]
         {
             let (_, _) = (data, filename); // avoid unused vars
             return;