Skip to main content

· One min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team continued implementing the mock DMQ node to support end-to-end testing of decentralized signature diffusion and worked on certificate chain synchronization in the follower aggregator. They also completed era transition support in the clients, enabled Linux ARM binary support in the CI, and began preparing for the upgrade to Cardano node v.10.5.

Finally, they upgraded the repository to the Rust 2024 edition and made progress refactoring the STM cryptographic library.

Low level overview​

  • Completed the issue Upgrade to Rust 2024 edition #2582
  • Completed the issue Add client CLI version in stderr #2620
  • Completed the issue Build Linux ARM binaries in the CI #2178
  • Worked on the issue Synchronize certificate chain of follower aggregator #2534
  • Worked on the issue Enhance STM library readability #2568
  • Worked on the issue Implement a fake DMQ node with Mithril relay #2627
  • Worked on the issue Upgrade to Cardano 10.5 #2623
  • Worked on the issue List the invalid/missing immutable files in the verify command in client CLI #2618

· 2 min read
Ziyang Liu

High level summary​

Plutus Core​

  • We merged the PR adding support for case analysis on booleans and integers. Our current focus is extending this support to built-in lists.

  • Several improvements have also been made to the Plutus Core specification.

  • A new tool was merged and released to dump cost model parameters in the format expected by the node. It supports multiple output formats and can be particularly useful when adding new primitives or updating cost model parameters for other reasons.

Plinth​

  • We implemented and merged a compiler optimization that pushes force nodes into case branches. This often enables subsequent optimizations by eliminating adjacent force and delay pairs.

  • To benchmark the Plinth compiler and identify further optimization opportunities, we reimplemented in plutus-benchmarks the linear vesting script (originally written in Plutarch) in Plinth.

Formal Methods​

  • We are now releasing plutus-metatheory on CHaP, which is a prerequisite for releasing the compiler certifier alongside the Plinth compiler.

Low level summary​

Key Pull Requests Merged​

Issues and Pull Requests In Progress​

· 3 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:

  • New tracing system supporting PRs in iohk-nix and cardano-node have merged, making the new tracing system the default starting with upcoming node 10.6.0 release.

  • A dedicated aarch64-linux machine has been added to the devx-ci build cluster to improve CI performance for that arch.

  • Additional darwin resources will also be joining the devx-ci build cluster in the near future.

Repository Work -- Merged​

Cardano-mainnet​

  • Dbsync snapshots machine was switched from ramdisk based tmpfs to blockdevice tmpfs. Cardano-node pre-release has been updated to 10.5.0, cardano-cli pre-release to 10.11.0.0 and mithril to v2524.0. Opentofu resources, just recipes and other code has been updated to transition to use of ssh over AWS SSM with the closure of port 22 ingress. Includes various improvements with cardano-parts release v2025-06-24. Additional details are included in the PR header. cardano-mainnet-pr-36

Cardano-node​

  • This PR changes the default tracing system to the new tracing system and implements support for this where needed including: nixos cardano-node service, nixos cardano-tracer pre-existing service, nixos cardano-tracer new service, nixos scripts, nixos tests, docker, workbench service tracer changes, configuration reference files, bash scripts, CI. Additional details are included in the PR header. cardano-node-pr-6133

Cardano-parts​

  • Cardano-node pre-release has been updated to 10.5.0, cardano-cli pre-release to 10.11.0.0 and mithril to v2524.0. Opentofu resources, just recipes and other code has been updated to transition to use of ssh over AWS SSM with the closure of port 22 ingress. Additional details are included in the release notes. cardano-parts-release-v2025-06-24

Cardano-perf​

Cardano-playground​

  • Cardano-node pre-release has been updated to 10.5.0, cardano-cli pre-release to 10.11.0.0 and mithril to v2524.0. Opentofu resources, just recipes and other code has been updated to transition to use of ssh over AWS SSM with the closure of port 22 ingress. Includes various improvements with cardano-parts release v2025-06-24. Additional details are included in the PR header. cardano-playground-pr-48

Devx-ci​

  • Adds a new dedicated aarch64-linux hetzner rx170 machine to the CI cluster, including supporting nixos hardware and config module, re-keyed secrets, new wireguard ip range assignments based on machine namespace, bootstrap script updates and removal of emulated linux builds. Additional details are included in the PR header. devx-ci-pr-132

Iohk-nix​

  • This PR changes the default tracing system to the new tracing system and implements support for this where needed including: cardano-lib, generic log config, generic tracing config, testnet template config, legacy generic log config, legacy testnet template config. Additional details are included in the PR header. iohk-nix-pr-594

Repository Work In Progress -- PRs and Branches​

· One min read
Alexey Kuleshevich

High level summary​

This is a slow season when people usually take vacation, for this reason there is not that much to report. We have defined PlutusV4 for Dijkstra, which for now only acts as a placeholder and is semantically equivalent to PlutusV3. Besides that we've done some code cleanup and a serialization bug fix for pre-Conway eras.

Low level summary​

Features​

  • PR-5098 - Hardfork triggers
  • PR-5135 - Fix AlonzoPlutusPurpose CBOR instances
  • PR-5111 - Add PlutusV4 definition

Testing​

  • PR-5044 - Add documentation Manual.md and DesignPrinciples.md
  • PR-5134 - constrained-generators: Get rid of a bunch of uses of dom_
  • PR-5120 - Removed TxField
  • PR-4888 - Added a test

Infrastructure and releasing​

  • PR-5133 - Bump urllib3 from 2.3.0 to 2.5.0 in /doc

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team completed the implementation of the publisher and consumer for the DMQ network using the n2c local message submission and n2c local message notification mini-protocols from the Pallas library.They also worked on creating a fake DMQ node to facilitate end to end testing. The team also completed the stabilization of the Cardano database v2 backend within the Mithril client CLI and library. Additionally, they kept implementing the certificate chain synchronization in the follower aggregator, prepared the upgrade to the Cardano node v.10.5, and enhanced some workflows in the CI.

Finally, they continued preparing the repository for the Rust 2024 edition upgrade and progressed with refactoring the STM cryptographic library.

Low level overview​

  • Completed the issue Implement a publisher with the n2c Local Message Submission mini-protocol with Pallas #2539
  • Completed the issue Implement a consumer with the n2c Local Message Notification mini-protocol with Pallas #2540
  • Completed the issue Stabilize Cardano DB v2 client CLI/library - Phase 2 #2577
  • Completed the issue Create and store artifacts for the headless tests in the client CI workflow #2579
  • Completed the issue Use alternative to Sendgrid for email notifications in CI #2617
  • Completed the issue Build Linux ARM binaries in the CI #2178
  • Worked on the issue Upgrade to Rust 2024 edition #2582
  • Worked on the issue Synchronize certificate chain of follower aggregator #2534
  • Worked on the issue Enhance STM library readability #2568
  • Worked on the issue Implement a fake DMQ node with Mithril relay #2627
  • Worked on the issue Upgrade to Cardano 10.5 #2623