Skip to main content

· 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

· 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)