refactor(stm): removed new tests

Author: damrobi

.config/nextest.toml

@@ -20,5 +20,5 @@ path = "tests-result.junit.xml"
 report-name = "mithril-tests"
 
 [[profile.ci.overrides]]
-filter = 'test(#proof_system::halo2_snark::*slow::*) or test(#proof_system::ivc_halo2_snark::*slow::*)'
+filter = 'test(#proof_system::ivc_halo2_snark::*slow::*)'
 test-group = "ivc-snark-sequential"

mithril-stm/src/proof_system/halo2_snark/setup.rs

@@ -249,45 +249,4 @@ mod test {
             );
         }
     }
-
-    mod slow {
-        use std::time::{Duration, Instant};
-
-        use super::*;
-
-        #[test]
-        fn build_for_test_hits_the_cache_on_a_warm_second_run() {
-            // Distinct from every other test's (parameters, depth) so this test owns its shared
-            // cache slot and is never muddied by another test's cached artifacts.
-            let params = Parameters {
-                k: 4,
-                m: 11,
-                phi_f: 0.33,
-            };
-            let depth = 5;
-
-            let t0 = Instant::now();
-            let setup1 = SnarkProverSetup::build_for_test(&params, depth)
-                .expect("first build_for_test call should succeed");
-            let first_call_elapsed = t0.elapsed();
-
-            let t1 = Instant::now();
-            let setup2 = SnarkProverSetup::build_for_test(&params, depth)
-                .expect("second build_for_test call should succeed");
-            let second_call_elapsed = t1.elapsed();
-
-            let vk_bytes1 = setup1.verification_key.to_bytes_vec().unwrap();
-            let vk_bytes2 = setup2.verification_key.to_bytes_vec().unwrap();
-            assert_eq!(
-                vk_bytes1, vk_bytes2,
-                "a warm second call must return the same verification key as the first"
-            );
-
-            assert!(
-                second_call_elapsed < Duration::from_secs(5),
-                "a warm second call must reuse the cached SRS and keys instead of regenerating \
-                 them; first call took {first_call_elapsed:?}, second call took {second_call_elapsed:?}"
-            );
-        }
-    }
 }

mithril-stm/src/proof_system/ivc_halo2_snark/prover_setup.rs

@@ -277,40 +277,6 @@ mod tests {
             }
         }
 
-        #[test]
-        fn build_for_test_hits_the_cache_on_a_warm_second_run() {
-            // Distinct from every other test's (parameters, depth) so this test owns its shared
-            // cache slot and is never muddied by another test's cached artifacts.
-            let parameters = Parameters {
-                k: 4,
-                m: 11,
-                phi_f: 0.33,
-            };
-            let merkle_tree_depth = 5;
-
-            let t0 = std::time::Instant::now();
-            let setup1 = IvcSnarkProverSetup::build_for_test(&parameters, merkle_tree_depth)
-                .expect("first build_for_test call should succeed");
-            let first_call_elapsed = t0.elapsed();
-
-            let t1 = std::time::Instant::now();
-            let setup2 = IvcSnarkProverSetup::build_for_test(&parameters, merkle_tree_depth)
-                .expect("second build_for_test call should succeed");
-            let second_call_elapsed = t1.elapsed();
-
-            assert_eq!(
-                setup1.ivc_verifying_key.verifying_key().transcript_repr(),
-                setup2.ivc_verifying_key.verifying_key().transcript_repr(),
-                "a warm second call must return the same IVC verifying key as the first"
-            );
-
-            assert!(
-                second_call_elapsed < std::time::Duration::from_secs(10),
-                "a warm second call must reuse the cached SRS and keys instead of regenerating \
-                 them; first call took {first_call_elapsed:?}, second call took {second_call_elapsed:?}"
-            );
-        }
-
         // Requests an oversized unsafe SRS that shares the production SRS's tau, so the keys and stored
         // SRS must both downsize to `RECURSIVE_CIRCUIT_DEGREE` to reproduce the embedded production
         // assets exactly.