High level summary​

The SRE team continues work on Cardano environment improvements and general maintenance.

Some notable recent changes, updates or improvements include:

• Cardano-node release 10.1.3 was deployed to all environments

• Dbsync release 13.6.0.2 and then 13.6.0.4 was deployed to all environments

• Mainnet bootstraps have been configured for Cardano Foundation scrape, enabling a shared dashboard

Repository Work​

Cardano-node​

• Ensures legacy tracing is default via config when the node default itself changes to new tracing system. Fixes default OCI mainnet topology p2p json. Updates some OCI legacy cmds and repo references. cardano-node-pull-6042

Cardano-parts​

• Sets cardano-node to 10.1.3, dbsync to 13.6.0.4. Updates the default cardano-node nixos service to maintain legacy tracing when the default tracing system changes in the next node release. cardano-parts-release-v2024-12-02

Cardano-playground​

• Deploys cardano-node to 10.1.3, dbsync to 13.6.0.4 to all environments and updates the cardano book. cardano-playground-pull-37

Cardano-mainnet​

• Deploys cardano-node to 10.1.3, dbsync to 13.6.0.4. Adjust bootstraps for CF metrics scrape. cardano-mainnet-pull-27

Iohk-nix​

• Ensure the use of legacy tracing for iohk-nix generated configs when the node binary defaults to new tracing. iohk-nix-pull-590

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