test(stm): recover the ignored IVC prover input preparation tests

.github/workflows/scripts/filter-slow-tests.sh

@@ -94,7 +94,6 @@ readonly -a SLOW_MITHRIL_STM_TESTS=(
   "mithril-stm/src/membership_commitment/merkle_tree#membership_commitment::merkle_tree::"
   "mithril-stm/src/proof_system/halo2_snark#proof_system::halo2_snark::"
   "mithril-stm/src/proof_system/ivc_halo2_snark/proof.rs#proof_system::ivc_halo2_snark::proof::"
-  "mithril-stm/src/proof_system/ivc_halo2_snark/prover_input.rs#proof_system::ivc_halo2_snark::prover_input::"
   "mithril-stm/src/proof_system/ivc_halo2_snark/prover_input.rs#proof_system::ivc_halo2_snark::proof::"
   "mithril-stm/src/proof_system/ivc_halo2_snark/prover_input_helpers.rs#proof_system::ivc_halo2_snark::prover_input_helpers::"
   "mithril-stm/src/proof_system/ivc_halo2_snark/prover_input_helpers.rs#proof_system::ivc_halo2_snark::proof::"

mithril-common/Cargo.toml

@@ -51,7 +51,7 @@ fixed = "1.31.0"
 hex = { workspace = true }
 kes-summed-ed25519 = { version = "0.2.1", features = ["serde_enabled", "sk_clone_enabled"] }
 mithril-merkle-tree = { path = "../internal/mithril-merkle-tree", version = "0.1.4" }
-mithril-stm = { path = "../mithril-stm", version = "0.12.9", default-features = false }
+mithril-stm = { path = "../mithril-stm", version = "0.12.10", default-features = false }
 nom = "8.0.0"
 rand_chacha = { workspace = true }
 rand_core = { workspace = true }

mithril-stm/CHANGELOG.md

@@ -5,6 +5,14 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## 0.12.10 (08-28-2026)
+
+### Changed
+
+- Recovered the seven ignored IVC prover input preparation tests, which no CI tier ran because no job passes `--run-ignored`, and retired the two of them that no longer matched the API after the genesis step was simplified.
+- Narrowed `IvcProverInput::prepare` and its helpers to a verification context holding only the verifying keys, their fixed bases and the KZG verifier parameters, so that preparing a prover input no longer requires the IVC proving key.
+- Rebuilt the preparation tests on the committed assets and removed their inert `OnceLock` fixtures, so that the module needs no key generation, no SRS and no cache and its tests now run in the fast tier.
+
 ## 0.12.9 (08-26-2026)
 
 ### Changed

mithril-stm/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "mithril-stm"
-version = "0.12.9"
+version = "0.12.10"
 edition = { workspace = true }
 authors = { workspace = true }
 homepage = { workspace = true }

mithril-stm/src/circuits/halo2_ivc/bench/helpers.rs

@@ -334,7 +334,7 @@ impl IvcBenchEnv {
             &self.global,
             &preimage,
             &rolling_state,
-            &self.setup,
+            &self.setup.prover_input_verification_context(),
         )?;
 
         let circuit_data = IvcCircuitData::try_new(
@@ -386,16 +386,17 @@ impl IvcBenchEnv {
         aggregate_verification_key: &AggregateVerificationKeyForSnark<MithrilMembershipDigest>,
         rolling_state: &IvcRollingState,
     ) -> StmResult<FoldInputs> {
+        let verification_context = self.setup.prover_input_verification_context();
         let certificate_dual_msm = snark_proof.prepare_and_check(
             message,
             aggregate_verification_key,
-            &self.setup.certificate_verifying_key,
-            &self.setup.srs.verifier_params(),
+            verification_context.certificate_verifying_key(),
+            verification_context.verifier_params(),
         )?;
         let certificate_collapsed_accumulator =
-            self.setup.certificate_collapsed_accumulator(certificate_dual_msm)?;
-        let previous_ivc_proof_collapsed_accumulator =
-            self.setup.previous_ivc_proof_collapsed_accumulator(
+            verification_context.certificate_collapsed_accumulator(certificate_dual_msm)?;
+        let previous_ivc_proof_collapsed_accumulator = verification_context
+            .previous_ivc_proof_collapsed_accumulator(
                 rolling_state.ivc_proof().as_bytes(),
                 &rolling_state.previous_ivc_proof_public_inputs(&self.global),
             )?;

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

@@ -364,7 +364,7 @@ impl<R: RngCore + CryptoRng> IvcProver<R> {
             global,
             protocol_message_preimage,
             effective_rolling_state,
-            &self.ivc_setup,
+            &self.ivc_setup.prover_input_verification_context(),
         )?;
 
         let certificate_proof_bytes = snark_proof.into_circuit_proof_bytes();