High-level summary​

These last few weeks continue on as before; almost wrapping up the incremental commit work. We are focusing on tests and soon the spec changes, which will be the last parts. We have integrated the core functionality into the TUI already, and also added a new requested feature around filtering by UTxO addresses to the websocket API. We continue on with the custom ledger experiments and wrapping up incremental commits, as well enhancing the hydra-explorer and supporting the upcoming Hydra Doom tournament!

What did the team achieve?​

• Moved hydra-explorer out of the mono-repo #1716
• Added ability to filter the API by UTxO address #1719
• Finalising the work on incremental commits #199
• Investigating customised ledger in a Hydra Head #1727
• Investigated SQLite as our local datastore #1746
• Incremental commits in the TUI #1747
• Added a test to investigate a (potential) bug #1741

What's next?​

• Hydra explorer supporting multiple versions #1282
• Finish custom ledger experiment #1742
• Plan the 0.20.0 release
• Continue to imminent Hydra Doom tournament!

High level summary​

• Started preparations of a TSC proposal regarding Chain Growth violations.
• Wrote a document about the Cardano-specific instantiation of the Praos protocol theorem.
• Georgy Lukyanov joined the Consensus team and is going through the onboarding process.

High level overview​

This week, the Mithril team released a new one-line installer for the pre-built Mithril binaries, simplifying the update process for SPO signers. They also published an overview of the protocol security on the documentation website. The team began implementing a new type of certification for the Cardano database to enable differential updates, scaffolding a new signed entity type, and progressing on the computation of the message to sign. Additionally, they adapted the WASM client npm package to support NodeJS and started working on a cache for certificate verification in the WASM client.

Finally, the team completed the removal of legacy store adapters from the codebase and explored solutions for signer registration in networks with multiple aggregators.

Low level overview​

• Published a dev blog post about the new One line installer for Mithril binaries
• Released a new protocol Security page on the documentation website
• Completed the issue Make client WASM npm package compatible with NodeJS #2091
• Completed the issue Schedule nightly builds with a workflow dispatcher #2092
• Completed the issue Create new signed entity type for Incremental Cardano DB #2121
• Completed the issue Get rid of store adapters in signer and aggregator #2118
• Worked on the issue Handle cache for certificate verification in WASM client #1484
• Worked on the issue Implement signable builder for Incremental Cardano DB #2122
• Worked on the issue Activate Pythagoras Mithril era #2034
• Worked on the issue Explore Signer Registration Solutions #2029
• Completed the issue Next protocol parameters in status page are invalid #2134
• Completed the issue Snapshot Client can not deserialize artifact list #2140
• Completed the issue Preprod Mithril snapshot error #2129

High level summary​

The most notable change this period is extraction of a testing framework ImpSpec that we developed for testing Ledger implementation. This meant extracting reusable functionality, packaging into a seperate library and releasing it to Hackage.

Most of the efforts are still dedicated to improving our tests and working on conformance testing.

Low level summary​

Features​

• pull-4765 - Pass epochNo from BBODY instead of re-computing it in downstream rules

Testing​

• pull-4743 - Fix looping issue in constrained-generators
• pull-4741 - Various executable spec improvements
• pull-4746 - Added LEDGERS conformance
• pull-4747 - Fixed translation of StakeReference
• pull-4700 - Test SPO vote counting
• pull-4744 - Guardrail in Imp genesis
• pull-4745 - Extract ImpSpec into its own package
• pull-4739 - Improve the propagation of explanations when a Spec fails.
• pull-4755 - constrained-generators: Fix test failure related to narrowing of fold specs
• pull-4708 - Continue implementing the tests in Alonzo.Imp.UtxowSpec.Valid
• pull-4756 - Updated spec to fix a conformance failure

Infrastructure and releasing​

• pull-4750 - Update CHaP and Hackage
• pull-4763 - Move ImpSpec into its own repo
• pull-4758 - Add a hidden skiplist file for git fsck and a note about using it
• pull-4759 - Documented RatifyState

High level overview​

This week, the Mithril team released a new version of the Protocol Insights dashboard. They also completed implementing the new status route in the aggregator and upgraded the explorer to display its information. Additionally, the team completed the refactoring of the beacon used to snapshot the Cardano database and started working on the activation of the Pythagoras Mithril era on the pre-release-preview network.

Finally, they worked on removing the legacy store adapters in the signer and aggregator and explored solutions for signer registration when multiple aggregators are running on a Mithril network.

Low level overview​

• Published a dev blog post about the new Protocol Insights dashboard
• Completed the issue Create a new /status route in aggregator #2071
• Completed the issue Remove network field from CardanoDbBeacon #1957
• Completed the issue Refactor pruning with upkeep service in signer/aggregator #2075
• Completed the issue Implement the new metrics in the Mithril Protocol Insights dashboard #2076
• Completed the issue Add command to create Genesis keypair in aggregator #2074
• Completed the issue testing-preview and testing-sanchonet aggregators panic with FOREIGN KEY constraint failed error #2120
• Completed the issue Display aggregator status information in explorer #2073
• Completed the issue Failures of some STM property based tests #2109
• Worked on the issue Make client WASM npm package compatible with NodeJS #2091
• Worked on the issue Get rid of store adapters in signer and aggregator #2118
• Worked on the issue Activate Pythagoras Mithril era #2034
• Worked on the issue Schedule nightly builds with a workflow dispatcher #2092
• Worked on the issue Explore Signer Registration Solutions #2029