Amaru

This demo showcases block propagation between a set of Amaru and Haskell nodes, with various topologies:

• cardano-node -> amaru -> amaru
• cardano-node -> amaru -> cardano-node
• cardano-node + amaru -> amaru -> cardano-node + amaru

This demonstrates Amaru acting sometimes as an upstream peer, sometimes as a downstream peer while also performing chain selection. We also show to which extend the pipeline can be visualised in real-time through the tracing system.

In this recording, we go over the simulation and visualisation of the Amaru multi-stage execution pipeline.

Then, an overview of the latest version of Amaru doctor and the Pi deployment, as well as a sneak peek onto the brand new website at https://amaru.global.

The recording from the demo happening live at the end of the 2nd node diversity workshop in Toulouse.

The demo showcases the latest progress with the chain synchronisation and conformance tests, as well as an update on the consensus simulation and implementation.

A demo showcasing the latest progress on the ledger rules and the Rust-agnostic testing approach used for conformance. Then, we dive into some preliminary visualisation of the simulation engine, with auto-generated sequence diagrams and a terminal user interface that allows exploring execution traces.

Finally, another look at some of the Amaru metrics, obtained from running a cluster of Amaru nodes talking to one another. This demonstrates how our observability stack is particularly well suited for aggregating distributed traces from multiple processes.

First, an overview showcasing the latest progress on deterministically simulating the consensus, using pre-generated blockchain trees.

Then, a tour of the ledger rules and the separation of concerns between block validation and state management, and how Amaru tackles this nicely.

Finally, an update on the ongoing work on the Peer-to-Peer (P2P) networking stack being designed not only for Amaru, but for the wider Rust blockchain ecosystem.

Three contributions covering:

1. Progresses on the ledger state tracking and the stake distribution reconstruction now complete up to the first governance proposal refund;
2. A focus on the consensus with a basic chain selection strategy between two chains coming from two distinct peers;
3. An introduction to our simulation testing approach inspired from Jepsen's Maelstrőm.

Showcasing Amaru's on-disk ledger storage, solving a long-standing challenge of the Cardano node. The ledger state in this demo is comprised of the entire UTxO, stake pools parameters and registrations, rewards accounts and delegations. It is tracked throughout block application and persisted on-disk efficiently with regular snapshots at each epoch boundary.

While it doesn't yet calculate rewards at the epoch boundary, the on-disk state now contains all elements necessary to the calculation of rewards. It thus becomes the immediate next step.

A simple pipeline showcasing an Amaru node fetching blocks from the network, validating their header (VRF & KES) and forwarding them to an in-memory ledger performing UTxO management and phase-2 validations.