Skip to main content

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team released the pre-release version of the 2517.0-pre distribution. 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 implementing incremental certification for the Cardano database, also known as Cardano node database v2, which has been activated on the release-preprod test network.

The team has completed the proof of concept for the Mithril/ALBA aggregation proof system. They also simplified the configuration of the aggregator's commands and improved the dependency injection process. In addition, they implemented a publisher abstraction to facilitate the publication of signatures in the signer.

Finally, the team focused on speeding up the compilation time of Rust nodes and libraries, while continuing to refactor the STM cryptographic library for improved clarity.

Low level overview​

  • Pre-released the new distribution 2517.0-pre
  • Completed the issue Sign ancillary files with IOG key #2362
  • Completed the issue Mithril/ALBA aggregation proof system PoC #2403
  • Completed the issue Implement a publisher abstraction for publication of signatures in signer #2427
  • Completed the issue Simplify dependency injection container structure in aggregator #2366
  • Completed the issue Simplify the configuration of commands in aggregator #2384
  • Completed the issue Accelerate Rust compilation time with workspace dependencies #2430
  • Completed the issue Hydra CI is flaky #2436
  • Worked on the issue Release 2517 distribution #2410
  • Worked on the issue Rollout Cardano Database v2 feature #2409
  • Worked on the issue Upgrade to Cardano 10.3 #2446
  • 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
  • Worked on the issue Fix aggregator commands automatic documentation #2450

· 2 min read
Ziyang Liu

High level summary​

On the Plinth side, we added strictness analysis in both UPLC and PIR. This is used by two compiler optimizations: inlining, and the strictification of bindings For example, if a non-strict binding is guaranteed to be evaluated, it can be safely converted to a strict binding. These optimizations reduce both the computational cost and the size of the resulting Plutus scripts, sometimes significantly.

In preparation for the next hard fork, development on UPLC has progressed steadily. We completed the specification for the dropList primitive and conformance testing for builtin arrays. Additionally, we advanced work on casing on booleans and the costing of the modular exponentiation primitive - both challenging tasks that we expect to complete in the coming weeks.

On the certified compilation front, we expanded our test coverage, addressed several issues in the decision procedures, and are actively working to resolve the remaining recently identified problems.

Low level summary​

Key Pull Requests Merged​

Issues and Pull Requests In Progress​

  • Allow casing on booleans
  • Costing of builtin functions operating on builtin arrays (in plutus-private)
  • Costing of the modular exponentation primitive (in plutus-private)
  • Conformance tests for the modular exponentation primitive (in plutus-private)

· One min read
Noon van der Silk

High-level summary​

We're very happy to have release 0.21.0; featuring many big changes. Check out the full release notes here: Hydra 0.21.0. We continue working on supporting the Glacier Drop; the Blockfrost chain layer, fixing some bugs in the incremental commit workflow (please consider this feature in beta until these are fixed), among other day-to-day improvements.

What did the team achieve?​

  • Released version 0.21.0! With a tonne of new features.
  • Completed example of withdraw-zero based sha512 trick #1933.
  • Progress on Blockfrost chain layer #1305.
  • Investigated a feature to "Re-open" a closed head; decided against implementing it for security reasons.
  • Continued work on fixes to the deposit workflow #1951

What's next?​

  • Finished new deposit check #1951
  • Fix "UX" bug when changing peers on a previously-configured hydra-node #1937
  • Work on a simple endpoint to check head status #1957
  • Continued work on a full Blockfrost chain layer #1305
  • Reinstate Kupo support #1785
  • Investigate bug allowing fan-out #1476
  • Investigate event-log rotation #1581
  • Continue to focus on supporting the Glacier drop

· 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 versions are now set to 10.3.1 and 10.7.0.0, respectively, in cardano-parts release v2025-04-28.

Repository Work -- Merged​

Cardano-parts​

  • Sets node pre-release (ng) to 10.3.1 and cardano-cli pre-release (ng) to 10.7.0.0 and updates nix jobs and ci to accommodate cardano-cli pre-release breaking changes. Improves a show_current_forging prepared psql query and makes other miscellaneous improvements. cardano-parts-release-v2025-04-17

  • Sets node release to 10.3.1, cardano-cli release to 10.7.0.0. cardano-parts-release-v2025-04-28

Cardano-mainnet​

  • Sets node release to 10.3.1 and cardano-cli release to 10.7.0.0. Removes prometheus key uid in the dashboards, adds trace-verbose debugging for tofu cluster builds, improves license notice attribution, bumps ci nix to 2.28.1. cardano-mainnet-pr-33

Cardano-node​

  • Adds checkpoint and peer snapshot files to the binary artifact context. Bumps node version to 10.3.1. Adds a cardano-node artifact test using nixosTests. cardano-node-pr-6177

  • Adds the consensus snapshot-converter to pkgs and the release bins. Fixes the ci artifact nixosTest for the larger tarball size. Removes a local haskellNix windows override that has been upstreamed. Bumps iohkNix for LedgerDB cfg and make corresponding ci adjustments. cardano-node-pr-6195

Cardano-playground​

  • Sets node pre-release (ng) to 10.3.1 and cardano-cli pre-release (ng) to 10.7.0.0. Improves a show_current_forging prepared psql query and makes other miscellaneous improvements. Improvements made in cardano-parts release v2025-04-17 are included in this PR. cardano-playground-pr-42

  • Sets node release to 10.3.1 and cardano-cli release to 10.7.0.0. Rotates KES for all environments, addresses IPFS occasional OOM, scales preview for RAM, updates the book configuration. cardano-playground-pr-43

Iohk-nix​

  • Adds explicit per environment LedgerDB default config for node 10.4.x. iohk-nix-pr-597

Repository Work In Progress -- PRs and Branches​

· 2 min read
Alexey Kuleshevich

High level summary​

Our focus was on fixing technical debt that would affect the definition of a new era, as well as improvements to the CI and tests. We added a check in the MEMPOOL rule that detects duplicate transactions and shortcircuits the rule if encountered.

The team also completed integration work for the node release 10.3.0.

Low level summary​

Features​

  • pull-4967 - Fail fast when adding a redundant transaction to the mempool
  • pull-4979 - Make it build with ghc 9.12
  • pull-4994 - Add changelog section for cardano-node-10.3

Tehnical debt​

  • pull-4981 - Move add/sum functions for CompactCoin to Cardano.Ledger.Coin
  • pull-4993 - Deprecate redundant accessor functions in Alonzo
  • pull-4991 - Fix PParams JSON deserialization
  • pull-4995 - Stop encoding/decoding protocol version as a CBOR group in PParams
  • pull-4997 - Move TxBody Internal modules to public ones

Testing​

  • pull-4977 - Fix instant stake calculation test
  • pull-4982 - Use Data-backed api for V0 and V2 scripts
  • pull-4975 - Start to re-refactor contexts and get rid of symbol

Infrastructure and releasing​

  • pull-4941 - Added a Github action for checking if CDDL is up-to-date
  • pull-4987 - Update upper-bound ghc variant to 9.12.1
  • pull-4952 - Add release issue template
  • pull-4998 - Added plutus preprocessor check to CI