The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.

High level summary​

The team is currently formalising mini protocols and writing a paper on performance modelling

Details​

• completing work on chain sync mini-protocol

• outline for JLAMP journal paper submission

• analysing timeouts

High-level summary​

This week, the Hydra team fixed the gen-hydra-keys command to avoid overwriting existing keys, and resolved issues related to the rewritten hydra-tui. They also worked on a \"dirt road\" implementation for the \"Ignored init tx\" notification, improving the robustness of the system.

The team finalized preparations for the Cardano Summit presentation, including implementation of the hydra-poll example DApp.

If you happen to read this and attend the Summit in Dubai, make sure to check out our Masterclass about \"Developing Hydra + Mithril for Scaling Cardano\" on Friday, November 3 at 14:00-15:30 local time in the \"Al Dar\" room!

What did the team achieve this week​

• Fix gen-hydra-keys command to not overwrite existing keys #1136
• Fixed the rewritten hydra-tui#1113#1137
• Finalized cardano summit preparation #1109
• Implemented the hydra-poll example DApp link to repository
• Dirt road implementation for \"Ignored init tx\" notification #529

What are the goals of next week​

• Attend cardano summit and deliver presentation
• Clarify / close user created issues
• Build aarch64-darwin binaries in CI

High-level overview of sprint 47​

Bootstrap Peers​

We continued to review the process of bootstrap peers, see ouroboros-network#4555

CI / Tests​

We investigated our CI issues. We found a memory leak in typed-protocols function used for testing codecs which triggered out of memory manager (OOM) on some platforms (typed-protocols#43); we also found a bug in the connection manager which resulted in CI timeouts (see connection-manager-fix).

KeepAlive client​

We found two small issues with the keep-alive client, which were addressed by Karl Knutsson (Cardano Foundation), ouroboros-network#4689.

Galois​

We merged two large PRs prepared by Galois:

• inspect error call sites
• implement micro benchmarks for PeerMetrics

Cardano Network Service Assurance (CNSA)​

Galois made the following progress on CNSA:

• a simple [InfuxDB] database backend has been added;
• the documentation has been updated;
• internal improvements to the code;
• progress on a new "CSNA analysis" that provides, for each sampler node, the block download throughput in bytes over time.

New CHaP Release​

We cut a new release of ouroboros-netowrk packages to CHaP: chap#547

More details​

CI / Tests​

We improved the memory footprint of some of our tests by analysing a stream of IOSim traces without retaining them, see ouroboros-network#4696

As a safety measure, we introduced an upper bound for heap memory used by test artefacts in our nix tests. We use 200MB limit for all tests except for network-mux tests which use 350MB limit, see ouroboros-network#4702.

We refactored one of our tests to use ephemeral ports thus allowing it to run concurrently, see ouroboros-network#4702.

We merged ouroboros-network#4623 which fixes a bunch of test failures.

• inbound-governor: connection leak
• connection-manager: assertion failure
• not released connection

All of them were due to a bug in test logic rather than a bug in production code.

Release Process​

We updated our release process & associated scripts, see ouroboros-network#4705.

High level summary​

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

Some notable recent changes, updates or improvements include:

• Cardano-world testnets of preprod, preview, sanchonet and some private test chains are in the process of being migrated to the cardano-playground stack

Lower level summary​

Capkgs​

• Adds offchain-metadata-tools, dbsync sanchonet updates: capkgs-compare

Cardano-parts​

• General package updates, modules improvements and template recipes to support network migration from world to playground cardano-parts-pull-17
  • Bumps cardano-db-sync-ng to sancho-2-0-0 tag
  • Bumps iohk-nix-ng to mig-sancho branch for sanchonet pool migration from world to play
  • Adds more machine system bins and devShell bins for scripting and debug purposes
  • Adds cardano-show-kes-period alias on any node machine importing profile-cardano-node-group module
  • Adds profile-cardano-node-topology module for a simplified interface to most common topology needs
  • Adds a job-delegate-rewards-stake-key job as an optional follow on to pool creation and registration jobs
  • Adds a topology function to filter self from group machines with an allowList for matching infixes
  • Adds metadata-server and related offchain-metadata-tools bins from capkgs
  • Updates justfile template with:
    • a new query-all recipe for getting status of multiple concurrent running environments
    • a new set-default-cardano-env recipe for fast switching between environments
    • a new start-demo recipe for forking a custom env into conway
    • a new start-node recipe for generic environment start
    • a new stop-node recipe for generic environment stop
    • updated list-machines recipe for handling of empty nixos machine config and empty ssh_config conditions
    • updated query-tip recipe to a generic query tip compatible with each environment

Cardano-playground​

• Migrates sanchonet from world, prepares further migration and support automation: cardano-playground-pull-4

High level overview​

This week, the Mithril team released a new distribution 2342.0. This release includes support for SPO tickers displayed in the Mithril explorer and the ability to produce slim Docker images for Mithril nodes.

They also kept working on decentralizing the Mithril networks with the peer-to-peer (P2P) networking proof of concept, progressed with the adaptation of the Mithril client as a library, and worked on the deterministic computation of the UTXO set from the immutable files.

Finally, they fixed the bottleneck of the key registration in the aggregator, investigated some unreachability on the release-mainnet aggregator, and enhanced the Mithril explorer UI.

Low level overview​

• Worked on the issue P2P Networking - Proof of Concept #1300
• Completed the issue Make mithril-client crate a library #1141
• Worked on the issue Compute deterministic Cardano UTxO set PoC #1283
• Completed the issue ProtocolKeyRegistration creates performance bottleneck in aggregator #1187
• Worked on the issue Fix devnet Mithril Docker images #1272
• Worked on the issue release-mainnet aggregator is unreachable #1310
• Worked on the issue Build mithril-common and mithril-client in WASM PoC #1284
• Completed the issue Display a summary of signers before the full list in explorer #1133
• Completed the issue Add certificates list in explorer #1184
• Completed the issue CoreVerifier setup does not compute total_stake correctly #1306