Mithril update 2026-07-01

blog/2026-07-01-mithril.md

@@ -0,0 +1,40 @@
+---
+title: Mithril Team Update
+slug: 2026-07-01-mithril
+authors: jpraynaud
+tags: [mithril]
+hide_table_of_contents: false
+---
+
+## High level overview
+
+This week, the Mithril team completed the wiring of the recursive SNARK proof in the aggregate signature, and its integration in the end-to-end tests and its deployment in a test network. They continued work on refactoring the unsafe SNARK setup and refactoring the preparation of the prover input for the recursive SNARK aggregation primitives.
+
+The team also completed the implementation of the monitoring for Cardano blocks and transactions in the protocol dashboard, the integration tests for the unknown signed entity type in the signer and aggregator, and the enhancements of the aggregator state machine to support the `Blocked` state. They continued work on the release of the `2626` distribution, the upgrade to Cardano `11.1`, and the update of the DMQ node to `0.7.0.0`.
+
+Finally, the team fixed some flakiness in the Hydra CI, enhanced the versions bump script and implemented a GitHub workflow to automate the marking of stale issues and pull requests.
+
+## Low level overview
+
+### Features
+
+- Completed the issue **Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature** [#3141](https://github.com/input-output-hk/mithril/issues/3141)
+- Completed the issue **Implement recursive SNARK proof generation and verification in end-to-end tests** [#3142](https://github.com/input-output-hk/mithril/issues/3142)
+- Worked on the issue **Refactor unsafe SNARK setup** [#3300](https://github.com/input-output-hk/mithril/issues/3300)
+- Worked on the issue **Recursive SNARK aggregation primitives: Refactor preparation of prover input** [#3319](https://github.com/input-output-hk/mithril/issues/3319)
+
+### Protocol maintenance
+
+- Completed the issue **Implement monitoring for Cardano Blocks and Transactions in Protocol dashboard** [#3157](https://github.com/input-output-hk/mithril/issues/3157)
+- Completed the issue **Activate `CardanoBlocksTransactions` in Mithril networks** [#3160](https://github.com/input-output-hk/mithril/issues/3160)
+- Completed the issue **Add integration tests for unknown signed entity type in signer and aggregator** [#3296](https://github.com/input-output-hk/mithril/issues/3296)
+- Completed the issue **Flaky CI on hydra run of `ci/hydra-build:x86_64-linux.mithril-common`** [#3329](https://github.com/input-output-hk/mithril/issues/3329)
+- Completed the issue **Enhance versions bump script** [#3334](https://github.com/input-output-hk/mithril/issues/3334)
+- Completed the issue **Mark stale issues and PRs with GitHub workflow** [#3339](https://github.com/input-output-hk/mithril/issues/3339)
+- Completed the issue **Certification stopped on `ivc-snark-preview` network** [#3351](https://github.com/input-output-hk/mithril/issues/3351)
+- Worked on the issue **Ship Mithril signer node binary in Cardano node bundle in GitHub** [#3011](https://github.com/input-output-hk/mithril/issues/3011)
+- Worked on the issue **Release `2626` distribution** [#3271](https://github.com/input-output-hk/mithril/issues/3271)
+- Worked on the issue **Enhance aggregator state machine to support `Blocked` state** [#3333](https://github.com/input-output-hk/mithril/issues/3333)
+- Worked on the issue **How to reduce the IVC tests duration** [#3343](https://github.com/input-output-hk/mithril/issues/3343)
+- Worked on the issue **Upgrade to Cardano `11.1`** [#3346](https://github.com/input-output-hk/mithril/issues/3346)
+- Worked on the issue **Update DMQ node to `0.7.0.0`** [#3358](https://github.com/input-output-hk/mithril/issues/3358)