o1vm/pickles/main: adding timer info for the verification

o1-labs · Oct 31, 2024 · b2b1184 · b2b1184
1 parent acacb9d
commit b2b1184
Showing 1 changed file with 13 additions and 6 deletions.
diff --git a/o1vm/src/pickles/main.rs b/o1vm/src/pickles/main.rs
@@ -134,12 +134,19 @@ pub fn main() -> ExitCode {
                 "Proof generated in {elapsed} μs",
                 elapsed = start_iteration.elapsed().as_micros()
             );
-            let verif = verifier::verify::<
-                Vesta,
-                DefaultFqSponge<VestaParameters, PlonkSpongeConstantsKimchi>,
-                DefaultFrSponge<Fp, PlonkSpongeConstantsKimchi>,
-            >(domain_fp, &srs, &constraints, &proof);
-            assert!(verif);
+            {
+                let start_iteration = Instant::now();
+                let verif = verifier::verify::<
+                    Vesta,
+                    DefaultFqSponge<VestaParameters, PlonkSpongeConstantsKimchi>,
+                    DefaultFrSponge<Fp, PlonkSpongeConstantsKimchi>,
+                >(domain_fp, &srs, &constraints, &proof);
+                debug!(
+                    "Verification done in {elapsed} μs",
+                    elapsed = start_iteration.elapsed().as_micros()
+                );
+                assert!(verif);
+            }
 
             curr_proof_inputs = ProofInputs::new(DOMAIN_SIZE);
         }