Skip to main content

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team advanced the DMQ node implementation by finalizing the delayer and retrier decorators, enabling support for multiple signature publishers in the signer. They also implemented the signature consumer and processor in the aggregator to handle incoming signatures continuously.

The team re-implemented the GCP file uploader using a more robust library and addressed the cleanup of unexpected immutable files downloaded in snapshot archives.

Finally, they improved Cardano node restoration tests to ensure reliable restarts and continued refactoring the STM cryptographic library for better clarity.

Low level overview​

  • Completed the issue Implement delayer and retrier decorators of the signature publisher in signer #2461
  • Completed the issue Add warning in client when not downloading ancillary files #2459
  • Completed the issue Re-implement the GCPBackendUploader with cloud-storage crate in aggregator #2460
  • Worked on the issue Add a Cardano node startup check step in the manual client test workflow #2471
  • Worked on the issue Cleanup unexpected immutable files in archive in client #2429
  • Worked on the issue Implement a signature processor for DMQ node in aggregator #2470
  • Worked on the issue Rollout Cardano Database v2 feature #2409
  • Worked on the issue Signer fails to access Cardano node after it has rebooted #2426
  • Worked on the issue Re-organize STM library structure #2369
  • Worked on the issue Record signatures origin in the signature processor of aggregator #2478

· 2 min read
Ziyang Liu

High level summary​

Over the past two weeks, we’ve been working on the Plutus section of the Cardano blueprint, adding documentation to make it easier for developers to implement alternative Plutus Core evaluators.

We’ve also continued improving the Plutus language itself, completing the costing and property-based testing for the modular exponentiation primitive, and thte costing for new built-in array primitives.

For case analysis on Bool, we’re currently evaluating different approaches to ensure we choose the most robust and forward-compatible solution.

On the formal methods side, we made further progress toward the initial release of the certifier. This includes integrating it with the Plinth compiler and exposing plutus-metatheory as a reusable library.

In our most recent Plutus working group meeting - which we've begun publishing publicly - we presented overviews and demos of both the certifier and the built-in arrays. Feel free to check it out.

Low level summary​

Key Pull Requests Merged​

Issues and Pull Requests In Progress​

  • Allow casing on booleans
  • Review the Builtin Values CIP
  • Conformance tests for the modular exponentation primitive (in plutus-private)
  • Fix the certifier for two UPLC forceDelay tests (in plutus-private)
  • Write a landing page and a page about serialization/deserialization for the Cardano blueprint (in plutus-private)
  • Add MSM primitive to Plutus (in plutus-private)

· 2 min read
John Lotoski

High level summary​

The SRE team continues work on Cardano environment improvements and general maintenance.

Some notable recent changes, updates or improvements include:

  • Cardano-node and cardano-cli pre-release versions are now set to 10.4.1 and 10.8.0.0, respectively, in cardano-parts release v2025-05-01.

  • In cardano-node, support for GHC 8.10 has been removed in master reducing CI eval times to < ~3 min. The next tagged pre-release or release after node 10.4.1 will support only GHC 9.6.

Repository Work -- Merged​

Cardano-parts​

Cardano-node​

  • Auto ghcr latest tagging currently occurs on full releases. Promotion of pre-release to release, however, doesn't trigger a published event, and instead requires a manual workflow dispatch off the newly promoted release tag. This PR adds ghcr latest tagging to the manual workflow dispatch pre-release to release use case. cardano-node-pr-6200

  • Drops support for haskellNix ghc 8.10.x which also reduces eval time to ~3 min with the removal of 249 variant packages. cardano-node-pr-6206

  • Removes the eventlogged package as ghc >= 9.4 includes unconditional -eventlog support in RTS. cardano-node-pr-6208

Cardano-playground​

  • Sets node pre-release to 10.4.1 and cardano-cli pre-release to 10.8.0.0 with cardano-parts release v2025-05-01. Updates and deploys cardano-book configuration for node pre-release 10.4.1. Adds preview1-test-a-1 machine, sops updates and secrets for test forging across legacy and new tracing. cardano-playground-pr-44

Repository Work In Progress -- PRs and Branches​

· One min read
Alexey Kuleshevich

High level summary​

Ledger team started preparation for an intra-era hard fork, by bumping support for major protocol version 11 in Conway era. Besides that we've continued addressing tech debt, improving safety of the codebase and enhancing our constraint based testing framework.

Low level summary​

Features​

  • pull-5001 - Remove heapwords from cardano-ledger-core
  • pull-5013 - Move orphan ToPlutusData instances with their types
  • pull-5005 - Made TxBody a data family
  • pull-5004 - Remove delegators field from conway-genesis JSON
  • pull-5023 - Bumped Conway protocol version max to 11
  • pull-5021 - Add SupportedLanguage

Testing​

  • pull-5010 - constrained-generators: Use csongor's trick to make type errors nicer
  • pull-5002 - Add EraTest classes
  • pull-5020 - Update and fix ledger-state benchmarks

Infrastructure and releasing​

  • pull-5025 - cardano-ledger-byron: remove Cabal-syntax dependency

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team released the new distribution 2517.1, which addresses a client security issue discussed in this developer blog post. This version supports Cardano node v.10.3.1 and allows for signing ancillary files in the Cardano database snapshots using an IOG key. It also includes various bug fixes and improvements.

The team continued progressing on the DMQ node implementation by adjusting the cadence of the signer and aggregator state machines and developing the delayer and retrier decorators to support multiple signature publishers in the signer.

Finally, they worked on fixing some bugs in the infrastructure and kept refactoring the STM cryptographic library for improved clarity.

Low level overview​

  • Released the new distribution 2517.1
  • Published the security advisory Mithril snapshots for Cardano database could be compromised by an adversary #GHSA-qv97-5qr8-2266
  • Published a dev blog post about the Mithril client security advisory
  • Published a dev blog post about the Breaking changes in client library and CLI
  • Published a dev blog post about the Distribution 2517 availability
  • Completed the issue Release 2517 distribution #2410
  • Completed the issue Upgrade to Cardano 10.3 #2446
  • Completed the issue Missing protocolMagicId file in client restoration for Cardano Database #2464
  • Completed the issue Terraform deployment should fail if the era adapter parameters computation fails #2451
  • Completed the issue Optimize run intervals handling in signer and aggregator state machines #2428
  • Completed the issue Add signed ancillary files verification in manual Client Multi Platform Test workflow #2458
  • Completed the issue Fix aggregator commands automatic documentation #2450
  • Worked on the issue Implement delayer and retrier decorators of the signature publisher in signer #2461
  • Worked on the issue Add warning in client when not downloading ancillary files #2459
  • Worked on the issue Rollout Cardano Database v2 feature #2409
  • Worked on the issue Re-organize STM library structure #2369
  • Worked on the issue Signer fails to access Cardano node after it has rebooted #2426