High level summary​

We've implemented a feature for the next intra-era hard fork that enforces a property that is desired by the consensus componenet, which enforces uniqueness of VRF keys used by stake pools. Furthermore, we've progressed with PlutusV4 integration into Dijkstra era. Besides new features we've also tackled some tech debt and fixed a bug with JSON decoding of Alonzo Genesis file.

Low level summary​

Features​

• PR-5232 - Activate future stake pools in PoolReap
• PR-5176 - add queryDRepDelegations ledger state query
• PR-5242 - Adds NFData instances for Genesis types
• PR-5241 - Fix JSON parsing for CostModels
• PR-5230 - Avoid branching on translateUpperBoundForPlutusScripts protocol version
• PR-5229 - Disallow duplicate VRF keys for pool registration
• PR-5236 - Add PlutusScript DijkstraEra
• PR-5234 - Move pool deposits into StakePoolState
• PR-5254 - Simplify POOLREAP

Testing​

• PR-5248 - Limit the map size when generating gov procedures with constrained-generators
• PR-5246 - Increase the max ExUnits in AlonzoEraGen
• PR-5245 - Added Cuddle validation test

Infrastructure and releasing​

• PR-5228 - Add undefined check to Github Actions
• PR-5244 - Reverts #5188
• PR-5235 - Add scripts for adding and updating srp's in cabal.project
• PR-5251 - Bumped haskell-language-server to v2.11.0.0

High level overview​

This week, the Mithril team continued implementing the mock DMQ node to support end-to-end testing of decentralized signature diffusion. They also worked on resolving a circular dependency issue with the operational certificate in the KES signer module and completed the upgrade to Cardano node v.10.5. Additionally, the team continued collaborating with the innovation team on prototyping a SNARK proving circuit for Mithril certificates.

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

Low level overview​

• Completed the issue Remove Operational Certificate circular dependency in KES signature #2668
• Completed the issue Upgrade to Cardano 10.5 #2623
• Completed the issue Remove features test_tools and full from mithril-client #2662
• Worked on 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 Prototype Mithril/Cardano bundle in Docker image #2616
• Worked on the issue Enhance STM library readability #2568

Overview of sprint 94​

Mithril​

We implemented node-to-node mini-protocols for dmq-node, see pr#5183.

The PR with node-to-client mini-protocols for dmq-node (pr#5173) is expected to be merged soon after addressing review comments.

We started working on verification of mithril signatures in the dmq-node, see issue#5175 and issue#5176.

Cardano-Node 10.6​

We also contributed configuration/tracing changes to cardano-node for its 10.6 release. See issue#6304.

TLDR​

We want to simplify user experience of cardano-node for Genesis and Praos modes: the network topology file contains bootstrap peers and genesis snapshot file location, which are only needed in one of the modes. In some cases, parsing shouldn't error (as it does now), but just emit a log message of the right severity. All the corner cases are described in the issue.

Tx-Submission​

The new tx-submission decision logic was merged, see issue#3311. The new tx-submission logic was benchmarked in the ioe performance cluster. Additional work is required to analyse its performance bottlenecks.

High level summary​

Over the past couple of weeks, the team continued working on LSM and KES agent integration, as well as Peras implementation. On the Leios prototyping front, the team is currently drafting a section in the Leios CIP focused on the new mini-protocols.

Two small improvements to Genesis tracing and metrics were also introduced: #6306 and #1628.

High-level summary​

The team has been working hard on a collection of fixes and user-requested features, while also continuing to support the Midnight Glacier Drop. Perhaps most interestingly we have added the ability to bring in partial amount when performing a commit. We continue to work on important improvements and user requests, we will start to investigate the partial fanout feature we've wanted to work on for a while, and continue to support the Glacier Drop!

What did the team achieve?​

• Allow partial Ada commits via blueprint tx and /commit API #2140
• Ported all the changes from 0.22.4 to master
• Support the integration of Hydra and the Glacier Drop
• Successfully presented Hydra Doom at RareEvo
• Rename --script-info to --hydra-script-catalogue #2190
• Fixed on CI for Mac #2139
• Improve API by using a timeout mechanism to return the result of HTTP actions #1911
• Initial version off a log viewer #2047
• Investigate implementing partial fanout

What's next?​

• Allow partial commits for specified tokens #2180
• Resolve the TUI being out of sync due to event-log rotation #2156
• Add a grafana-based monitoring example for running a Hydra node #2161
• Write a tutorial on committing a script UTxO into a Head #1653
• Start work on a HTLC between two Hydra Heads #2080
• Enable recovering a deposit when the head is closed #1812
• Prepare 0.23 release
• CI fixes #2191
• Investigate user issues #2113, #2144