cleanup

Author: darth-cy

ceno_recursion/src/aggregation/mod.rs

@@ -807,7 +807,7 @@ mod tests {
     }
 
     #[test]
-    // #[ignore = "need to generate proof first"]
+    #[ignore = "need to generate proof first"]
     pub fn test_single() {
         let stack_size = 256 * 1024 * 1024; // 64 MB
 

ceno_recursion/src/zkvm_verifier/verifier.rs

@@ -346,7 +346,6 @@ pub fn verify_zkvm_proof<C: Config<F = F>>(
                 );
                 builder.cycle_tracker_end("Verify chip proof");
 
-                
                 let chip_logup_sum: Ext<C::F, C::EF> = builder.constant(C::EF::ZERO);
                 builder
                     .range(0, chip_proof.lk_out_evals_len.clone())