Skip to main content

· 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

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team focused on signing ancillary files in the Cardano database snapshots using an IOG key and on the proof of concept for the Mithril/ALBA aggregation proof system. They also worked on simplifying the aggregator’s command configuration and dependency injection. Additionally, they kept refactoring the STM cryptographic library to improve clarity.

Finally, the team investigated a communication problem in the signer when the attached Cardano node is restarted, and worked on accelerating the compilation time of the Rust nodes and libraries.

Low level overview​

  • Completed the issue Aggregator stress test is failing #2408
  • Worked on the issue Sign ancillary files with IOG key #2362
  • Worked on the issue Mithril/ALBA aggregation proof system PoC #2403
  • Worked on the issue Re-organize STM library structure #2369
  • 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 Simplify dependency injection container structure in aggregator #2366
  • Worked on the issue Simplify the configuration of commands in aggregator #2384
  • Worked on the issue Accelerate Rust compilation time with workspace dependencies #2430