Skip to main content

· One min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team updated the CIP of the DMQ protocol and its implementation in Pallas and Mithril nodes, introducing changes to the message structure and the n2c local notification mini-protocol. They also worked on preparing the pre-release of the following distribution and continued collaborating with the innovation team on prototyping a SNARK proving circuit for Mithril certificates. Additionally, the team continued to prototype a Mithril/Cardano bundle within a Docker image.

Finally, they enhanced the CI workflows used to verify the integrity of a restored Cardano database and made progress refactoring the STM cryptographic library.

Low level overview​

  • Worked on the issue Simple Aggregation Halo2 - Prototype #2526
  • Worked on the issue Update the DMQ message structure #2670
  • Worked on the issue Update the n2c Local Message Notification mini-protocol in DMQ #2673
  • Worked on the issue Prototype Mithril/Cardano bundle in Docker image #2616
  • Worked on the issue Enhance STM library readability #2568
  • Worked on the issue Release 2537 distribution #2625
  • Worked on the issue Add verification of a tampered Cardano database in the CI #2678

· One min read
Fraser Murray

High-level summary​

Over the last two weeks, the team has been working on the first public draft of the Leios CIP, LSM-tree support, and the KES agent integration and audit.

· One min read
Noon van der Silk

What did the team achieve?​

  • Fix bug with TUI being out of sync with node state #2156
  • New tutorial on how to commit a script UTxO into a hydra head #1653
  • New grafana demo to showcase how to monitor a hydra head #2161
  • Fixes to the nightly CI process #2191
  • Small improvements to blockfrost documentation #2204

What's next?​

  • Aim to release 0.23
  • Investigate user-reported Blockfrost bug #2194
  • Continue working on HTLC example in Hydra #2080
  • Enable recovering a deposit when the head is closed #1812
  • Stay up to date with the chain even when there's no head logic events #2206

· One min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team completed the implementation of the mock DMQ node to support end-to-end testing of decentralized signature diffusion. They worked on updating the CIP of the DMQ protocol and its implementations in Pallas and Mithril nodes. They also worked on refactoring the Cardano database verification new command to provide better error messages. Additionally, the team continued collaborating with the innovation team on prototyping a SNARK proving circuit for Mithril certificates.

Finally, they kept prototyping a Mithril/Cardano bundle in a Docker image and made progress refactoring the STM cryptographic library.

Low level overview​

  • Completed the issue Implement a fake DMQ node with Mithril relay #2627
  • Worked on the issue Simple Aggregation Halo2 - Prototype #2526
  • Worked on the issue Update the DMQ message structure #2670
  • Worked on the issue Update the n2c Local Message Notification mini-protocol in DMQ #2673
  • Worked on the issue Prototype Mithril/Cardano bundle in Docker image #2616
  • Worked on the issue Enhance STM library readability #2568
  • Worked on the issue Release 2537 distribution #2625

· 2 min read
Marcin Szamotulski

Overview of sprint 95​

Mithril​

We've been working on integrating Mithril signature verification into dmq-node. This involves implementing the necessary logic to handle and verify signatures, ensuring that the node can correctly process Mithril-related data. Progress is being tracked in issue#5175 and issue#5176.

Cardano-Node​

We worked on configuration and tracing improvements for the upcoming cardano-node 10.6 release. The focus was on enhancing the user experience in Genesis and Praos modes by refining how the network topology file is handled. Specifically, we addressed issues where the topology file contains bootstrap peers and genesis snapshot file locations, which are only relevant in one of the modes. The goal is to ensure that parsing errors are minimised and that appropriate log messages are emitted instead of errors in specific scenarios. Detailed corner cases are documented in issue#6304.

Tx-Submission​

We wrote a microbenchmark to evaluate the performance of the new tx-submission decision logic. The results will help identify any performance bottlenecks and guide further optimisations. See pr#5191.

Chain-Sync Protocol Specification Update​

The specification of the chain-sync mini-protocol has been relaxed to reflect the Cardano-Node implementation more accurately. The changes include allowing the server to send MsgRollBackward after sending MsgFindIntersect allowing the rollback to a point before the found intersection point. See pr#5187.

Disconnection Reason Propagation​

After a discussion in the networking working group, we found out that we could improve the debugging experience for SPOs by propagating the disconnection reason from the low-level connection manager to the inbound / outbound governor. This will allow SPOs to understand better why a connection was dropped. The work is tracked in pr#5189.

QuickCheck-2.15 and 2.16​

We relaxed the bounds of QuickCheck dependency for the upcoming cardano-node-10.6 release for a smoother transition, see pr#5190.