High level overview​

This week, the Mithril team released the 2642 distribution. This version reads the protocol configuration from the Cardano chain in the signer and the aggregator, supports the Cardano node 11.1.3 and the DMQ node 0.7.2.0, and removes the support for the Gzip compressed snapshot archives. It also introduces a certificate chain cache in the client, support for compact SNARK certificates with a genesis-signed registry of the trusted circuit verification keys, and preliminary support for IPFS as a storage location of the immutable files (all unstable). It includes various bug fixes and improvements as well.

The team also published the immutable archives directory of the aggregator under an IPNS name, and selected a crate for the user interaction of the setup command. They kept working on the deterministic resolution of the SNARK verification key collisions in the key registration, the progressive rollout strategy of the IPFS distribution, the new mithril-setup crate, and the findings of the M1.1 milestone audit.

Finally, they worked on the upgrade to Cardano node 11.2, the renaming of DeprecatedCommand to RemovedCommand in the client CLI, the cleanup of the mithril-test-lab directory, and the investigation of the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

• Completed the issue Publish the immutable archives directory under an IPNS name in the aggregator #3606
• Completed the issue Identify a crate to use for the user interaction (TUI) of the setup command #3618
• Worked on the issue Resolve SNARK verification key collisions deterministically in the key registration #3591
• Worked on the issue Define the progressive rollout strategy of the IPFS distribution #3607
• Worked on the issue Create a new mithril-setup crate #3616
• Worked on the issue Address the findings of the M1.1 milestone audit #3635

Protocol maintenance​

• Released the new distribution 2642.0
• Published a dev blog post Distribution 2642 is now available
• Published a dev blog post Protocol configuration is now read from the Cardano chain
• Published a dev blog post Certificate chain cache available in the Mithril client
• Completed the issue Release 2642 distribution #3498
• Completed the issue Update DMQ node to 0.7.2.0 #3602
• Worked on the issue Upgrade to Cardano 11.2 #3585
• Worked on the issue Rename DeprecatedCommand to RemovedCommand in the client CLI #3626
• Worked on the issue Clean the mithril-test-lab directory #3595
• Worked on the issue Blocks and transaction verification fails on testing-preview #3526

High level summary​

The Plutus team has enabled multiIndexArray (CIP-0156) and the new Value builtins policies, assetCount, keepPolicies and dropPolicies (CIP-0168) at Dijkstra for all Plutus ledger language versions. These require the Dijkstra hard fork before they can be used on-chain. We've also added conformance tests for multiIndexArray, brought the specification's versioning section up-to-date, and added casing on Data to the Agda metatheory.

The guardrail script now supports optional parameters that governance proposals can set or unset, and the Plinth compiler can report timings for individual compilation stages. Work in progress includes generating Agda typechecking tests from conformance tests, and CEK machine optimizations.

Key Pull Requests Merged​

• Enable new builtins at Dijkstra
• Publish plutus-executables to CHaP
• Ship prebuilt executables for macOS, built by Hydra
• Guardrail: support optional parameters
• Add plugin option to dump compilation timing
• Respect target version when compiling Data casing
• Apply script deserialisation bounds unconditionally
• Update protocol and ledger language versioning in the specification
• Add casing on data to the metatheory
• Add multiIndexArray conformance tests

Pull Requests In Progress​

• Add tool to generate Agda typechecking tests from conformance tests
• Add bytestring to metatheory
• Replace Vector with Array in the evaluator

High level summary​

Leios continued to be the main focus this cycle and moved well beyond prototype on several fronts. Dijkstra forecasting for Leios landed, the forecasting itself was simplified by keeping stake data only in snapshots, and DijkstraEraForecast was extended with the Peras protocol parameters. We defined Leios' EndorserBlock, added a ledger state query for the Leios committee, switched the Leios header KES signature verification to use MemoBytes, and fixed pool BLS key handling so the key's epoch number is only renewed when the key is actually new. These were backed by tests for the Leios committee and stake distribution when injecting genesis data, and by integration of the latest Leios changes for week 41.

PlutusV4 reached a milestone for the Dijkstra era: eraMaxLanguage is now set to PlutusV4, and AlonzoTxWits encodes and decodes PlutusV4 scripts starting with Dijkstra. Work on sub-transactions continued, with allInputsTxBodyF now looking into sub-transactions, top-level supplemental datums allowed for sub-transactions, and tests added for refunds in the consumed value across a batch. On the Dijkstra era more broadly, we fixed VRF reuse at the epoch boundary, started tracking the VRF key hashes of genesis stake pools, moved NonMyopicMemberRewards into the ledger, added missing getters to AnyEraTxBody, and renamed requiredTopLevelGuardsL while bringing in its outstanding tests.

On testing and releasing we added further Entities tests, treasury value and reference-script size tests, enabled bootstrap addresses in conformance, updated the formal ledger specification, and bumped the Plinth version in the Plutus preprocessor modules. Infrastructure changes included a cardano-data changelog fix for the pointWise to pointwise rename, a round of package version bumps across the changelogs following a CHaP release, and the usual dependency bump.

Low level summary​

Features​

• PR-6124 - Make AlonzoTxWits decode and encode PlutusV4 scripts starting with Dijkstra
• PR-6129 - Switch allInputsTxBodyF to look into sub-transactions
• PR-6130 - Move NonMyopicMemberRewards to Ledger
• PR-6140 - Add missing getters to AnyEraTxBody
• PR-6120 - Use MemoBytes for Leios header KES signature verification
• PR-6134 - Simplify forecasting by keeping stake data only in snapshots
• PR-6137 - Allow TopTx SupplementalDatums for SubTx
• PR-6148 - Add Dijkstra forecasting for Leios
• PR-6092 - Fix VRF reuse at epoch boundary in Dijkstra
• PR-6133 - Track the VRF key hashes of genesis stake pools in Dijkstra
• PR-6136 - Rename requiredTopLevelGuardsL and add tests from #6020
• PR-6126 - Extend DijkstraEraForecast with Peras protocol parameters
• PR-6168 - Add ledger state query for Leios committee
• PR-6170 - Renew pool BLS key epoch number only when the key is new
• PR-6174 - Define Leios' EndorserBlock

Testing​

• PR-6125 - Tests for refunds in the consumed value across a batch
• PR-6109 - Set Dijkstra's eraMaxLanguage to PlutusV4, fix tests
• PR-6141 - Bump Plinth version in plutus preprocessor modules
• PR-6132 - Additional Entities tests
• PR-6156 - TreasuryValue and RefScriptSize tests
• PR-6167 - Add tests for verifying Leios committee and stake distribution when injecting genesis data
• PR-6149 - Update formal ledger specification
• PR-6182 - Enable boostrap addresses in conformance

Infrastructure and releasing​

• PR-6131 - Fix cardano-data CHANGELOG with Data.CanonicalMaps.pointWise rename to pointwise
• PR-6135 - Bump package version in all CHANGELOG.md files following release in CHaP
• PR-6143 - Bump urllib3 from 2.7.0 to 2.8.0 in /doc
• PR-6166 - Leios: integrate latest changes for 2026w41

High level overview​

This week, the Mithril team completed hardening the SNARK primitives and distinguishing the canonical bytes encoding in the STM library. They kept working on resolving the SNARK verification key collisions deterministically in the key registration, publishing the immutable archives directory under an IPNS name in the aggregator, and identifying a crate for the user interaction of the setup command.

The team completed the upgrade to Cardano node 11.1.3, adding a keypair generation tool in the aggregator CLI, and detecting the yanked crates in the CI. They also worked on the new distribution release, the upgrade to Cardano node 11.2, the update of the DMQ node to 0.7.2.0, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Finally, they fixed the WASM client tests which terminated themselves, the firewall configuration in the infrastructure which opened unused Mithril relay ports when the real DMQ node is used, and the DMQ node SRV record prefix in the signer documentation.

Low level overview​

Features​

• Completed the issue SNARK primitives hardening #3557
• Completed the issue Distinguish canonical bytes encoding in the STM library #3572
• Worked on the issue Resolve SNARK verification key collisions deterministically in the key registration #3591
• Worked on the issue Publish the immutable archives directory under an IPNS name in the aggregator #3606
• Worked on the issue Identify a crate to use for the user interaction (TUI) of the setup command #3618

Protocol maintenance​

• Completed the issue Upgrade to Cardano 11.1.3 #3601
• Completed the issue Add generate keypair tool in aggregator CLI #3584
• Completed the issue Detect yanked crates in the CI #3589
• Completed the issue Fix make -C mithril-client-wasm test which terminates itself #3590
• Completed the issue Firewall opens unused Mithril relay ports when the real DMQ node is used #3611
• Completed the issue Fix DMQ node SRV record prefix in the signer documentation #3620
• Worked on the issue Release 2642 distribution #3498
• Worked on the issue Upgrade to Cardano 11.2 #3585
• Worked on the issue Update DMQ node to 0.7.2.0 #3602
• Worked on the issue Blocks and transaction verification fails on testing-preview #3526

High level overview​

This week, the Mithril team completed adding a Proof of Bound Possession for the SNARK verification keys, renaming the future_snark feature to snark, adding the missing conversion and error-path tests in IVC SNARK, and testing the SNARK infrastructure to full security parameters with the Midnight fix. They kept working on hardening the SNARK primitives.

The team completed adding an IndexedDB backend for the certificate chain cache in the WASM client and documenting the certificate chain cache, fixed the IPFS end to end tests failing when dist.ipfs.tech is unreachable, and fixed the crates publication dry run failing in the nightly. They also worked on the new distribution release, the upgrades to Cardano node 11.1.3 and 11.2, the update of the DMQ node to 0.7.2.0, a keypair generation tool in the aggregator CLI, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Finally, they completed the upgrade to Rust 1.99, and fixed the missing SPO aliases in the explorer, the flakiness of the end to end tests caused by the devnet scripts, and the cloud uploader cache which only held the first 1000 files.

Low level overview​

Features​

• Completed the issue Add a SNARK verification key Proof of Bound Possession #3537
• Completed the issue Rename future_snark feature to snark #2814
• Completed the issue Add the missing conversion and error-path tests in ivc_halo2_snark #3470
• Completed the issue Test SNARK infrastructure to full security parameters with the Midnight fix #3593
• Completed the issue Add an IndexedDB backend for the certificate chain cache in the WASM client #3524
• Completed the issue Document the certificate chain cache #3525
• Worked on the issue SNARK primitives hardening #3557

Protocol maintenance​

• Completed the issue Upgrade Rust to version 1.99 #3578
• Completed the issue IPFS e2e tests fail when dist.ipfs.tech is unreachable #3582
• Completed the issue Crates publication dry run fails in the nightly since mithril-common 0.8.0 #3581
• Completed the issue Some SPO aliases are missing in the explorer #3518
• Completed the issue Fix flakiness of the end to end tests in the CI caused by the devnet scripts #3596
• Completed the issue Fix the cloud uploader cache which only holds the first 1000 files #3594
• Worked on the issue Release 26XX distribution #3498
• Worked on the issue Upgrade to Cardano 11.1.3 #3601
• Worked on the issue Upgrade to Cardano 11.2 #3585
• Worked on the issue Update DMQ node to 0.7.2.0 #3602
• Worked on the issue Add generate keypair tool in aggregator CLI #3584
• Worked on the issue Fix make -C mithril-client-wasm test which terminates itself #3590
• Worked on the issue Blocks and transaction verification fails on testing-preview #3526