Skip to main content

· 2 min read
Alexey Kuleshevich

High level summary

Last period we were finally able to drop support for older GHC versions. We also made some cleanup that was necessary as preparation work for further refactoring that is underway, which is necessary for both Leios and Nested Transactions. Refactoring definitions of protocol parameters is quite an accomplishment, since it drastically reduces complexity and eliminates unnecessary duplication for all eras. This refactoring not only reduced amount of code around protocol parameters for previous eras, but will also drastically simplify the process of adding new protocol parameters in the future eras.

Low level summary

Features

  • PR-5028 - Deprecate balance in favor of a better named sumUTxO
  • PR-5034 - Rename ppLens and ppuLens to make them more specific
  • PR-5027 - Refactor PParams CBOR, JSON and Plutus Data serialization for reuse across eras and serializers
  • PR-5007 - Remove ConwayNewEpochPredFailure
  • PR-5011 - Ensure BabbageNonDisjointRefInputs is only checked for PlutusV3 scripts
  • PR-5057 - Change Byron EBB stakeholderid to zero-or-more
  • PR-5066 - Fix occurrence of items in maps in byron.cddl
  • PR-5053 - Fix COMPLETE pragma for NativeScript ShelleyEra

Testing

  • PR-5016 - Bump formal-ledger-specifications
  • PR-5012 - constrained-generators: Split abstract syntax out of Base.hs
  • PR-5037 - Some hacking on improving error messages for lists
  • PR-5049 - Golden tests for PParamsUpdate JSON serialization

Infrastructure and releasing

  • PR-5029 - Remove GHC 8.10 from nix-flake and GHA
  • PR-5040 - Update to fourmolu-0.17.0.0
  • PR-5041 - Update ghc versions
  • PR-5039 - Bump base
  • PR-5051 - Update the haskellNix flake input
  • PR-5055 - Update the iohkNix flake input
  • PR-5060 - Move the shellcheck CI into the main workflow file

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team enabled incremental certification for the Cardano node database (version 2) on the release-mainnet network.

They continued work on the DMQ node implementation, completing the signature consumer and processor in the aggregator to support continuous signature handling, and added a mechanism to record the origin of each signature. The team also began adding support for UTXO-HD in the aggregator, signer, and client.

Finally, they addressed several bugs, improved CI workflows, and continued refactoring the STM cryptographic library.

Low level overview

  • Completed the issue Rollout Cardano Database v2 feature #2409
  • Completed the issue Implement a signature processor for DMQ node in aggregator #2470
  • Completed the issue Record signatures origin in the signature processor of aggregator #2478
  • Completed the issue Add a Cardano node startup check step in the manual client test workflow #2471
  • Completed the issue Some Cardano DB snapshots require full chain replay #2474
  • Completed the issue Run internal crates tests on MacOS/Windows in the CI #2486
  • Worked on the issue Add a Mithril client CLI command for UTxO-HD ledger state snapshot conversion #2492
  • Worked on the issue Add support for ancillary verification key in config files of client CLI #2491
  • Worked on the issue Upgrade to Cardano 10.4 #2487
  • Worked on the issue Cleanup unexpected immutable files in archive in client #2429
  • 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

· One min read
Damian Nadales

High level summary

  • Worked on a Genesis fix for an edge case in chain selection when the node is just caught-up (#1505).
  • Worked on a Genesis fix to correctly disable ChainSync jumping when the node is caught-up (#1492).
  • Discussed next steps on testing nodes via Antithesis in cooperation with the Cardano Foundation, in particular bespoke tooling (see this Discord message).
  • Continued engaging with the Leios research team to help with open questions and decisions that the innovation team is currently handling.
  • Made significant progress on the validators for the CDDL specs we are adding for the Cardano Blueprints (#1422). We are able to test that some of our golden CBOR files conform to the spec. Work is ongoing to extend the tests for the remaining golden files.
  • Opened a PR to use an automatic formatter for ouroboros-consensus, which will help lower the barrier to entry for new contributors (#1500).

· One min read
Noon van der Silk

High-level summary

We continue working away on fixes for deposits/incremental commits, and some UX and documentation improvements that have come about as a result of working with the Glacier Drop operators. We continue working on Blockfrost integration, event log rotation, and more UX improvements.

What did the team achieve?

  • Update the hydra-explore to track 0.21 #45
  • Small updates to the tutorial around etcd #1991
  • Fixes to the documentation #1636, #1752, #1975
  • Embedded etcd into hydra-node to improve UX of running the node #1992
  • Fix "UX" bug when changing peers on a previously-configured hydra-node #1965
  • Reinstated Kupo support #1785 (pending merging the PR.)

What's next?

  • Finished new deposit check #1951
  • Work on a simple endpoint to check head status #1957
  • Continued work on a full Blockfrost chain layer #1305
  • Investigate event-log rotation #1581
  • Simplifty finding the hydra scripts #1441
  • Add a way to query the head status #1957
  • Continue to focus on supporting the Glacier drop

· 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