Skip to main content

· One min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team completed the certificate chain synchronization in the follower aggregator. They also continued implementing the mock DMQ node to support end-to-end testing of decentralized signature diffusion. Additionally, the team worked on enhancing the 'verify' command on the client CLI to provide a detailed list of invalid or missing immutable files and kept preparing for the upgrade to Cardano node v.10.5 and the upcoming Mithril distribution.

Finally, they worked on refactoring the 'CardanoNetwork' entity, enhancing the maintainability of the new website, and made progress refactoring the STM cryptographic library.

Low level overview​

  • Completed 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
  • Worked on the issue Future-proof maintainability for the new website #2622
  • Worked on the issue Refactor CardanoNetwork entity #2590
  • Worked on the issue Release 2529 distribution #2625

· One min read
Damian Nadales

High-level summary​

  • Introduced a mempool optimization (#1565).
  • Fixed a bug in the Byron deserialization of Ledger Tables (#1577).
  • Added the Node-to-Node CDDL specifications (#1571).
  • Work has started to extend the Haskell simulator to support adding individual transactions.
  • Added support for taking ledger snapshots at predictable times (#1575).

· One min read
Noon van der Silk

High-level summary​

The team have been highly focused on work supporting the glacier drop; in particular fixing a bug related to replaying a large statefile, and preparing a release that includes that fix (0.22.2). We continue work to improve some observed issues with our resiliance to restarts during processing high volumes of transactions.

What did the team achieve?​

  • Released version 0.22.2
  • Marked release version 0.22.1 as deprecated; do not use, it contains a simple bug that prevents --network <...> from working correctly.
  • Resolved bug with node getting into deadlock while restarting #2089
  • Show a list off "Offline" peers in the TUI #2044
  • Set the content-type for the API server responses #2094
  • Small fix to the documentation #2095
  • Continued to support the glacier drop

What's next?​

  • Focus on improving crash-resiliance #2109
  • Add HTTP endpoint for submitting transaction #2107
  • Continue to focus on supporting the glacier drop

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