High level overview​

This week, the Mithril team kept implementing a new data type for certifying Cardano transactions within Mithril networks. They completed the upgrade of the client library and the CLI to support the verification of Cardano transactions. They also released the new Mithril network running on SanchoNet. Additionally, the team rolled out a new feature of the Pallas chain observer (that now supports the retrieval of Mithril era markers), and kept investigating some flakiness occurring in the CI end-to-end tests.

Finally, the team kept working on the threat modeling and risk analysis for the Mithril network and updated the Mithril network architecture documentation.

Low level overview​

• Published a development blog post Mithril SanchoNet network released
• Completed the issue Implement transactions verification in client library #1468
• Completed the issue Implement Cardano Transactions commands in the client binary #1469
• Completed the issue Create a test network on SanchoNet #1173
• Completed the issue Update Mithril network architecture documentation #1488
• Completed the issue Upgrade http dependency #1474
• Completed the issue Extract database feature from common crate #1492
• Worked on the issue P2P threat modeling and risk analysis #1350
• Worked on the issue Enhance Mithril/Cardano node communication #1315
• Worked on the issue Some end to end tests are flaky in the CI #1147
• Worked on the issue Add an example crate for the CardanoTransactions type #1495
• Worked on the issue Generate automatic documentation for CLIs #1471

High-level Summary​

This week, the Hydra team worked on forward compatibility for Conway support, deployed the hydra explorer tool, and improved the model based testing to support more actions (Fanout and Rollbacks).

What did the team achieve this week​

• Addressed flakyness in two types of integration tests
• Fixed our tooling (HLS 2.6 on GHC 9.6.4)
• Fixed configuration of running head in preview
• Added Fanout and Rollbacks to our Model basd test suite #1296
• Deployed the hydra explorer to http://explorer.hydra.family:9090/heads (url will change a bit more)
• Updated smoke test to run sanchonet

What are the goals of next week​

• Fix the fanout after contest bug
• Specify the on-chain validators for incremental decommits
• Complete smoke tests on sanchonet

High level summary​

This week we managed to integrate in the node the Consensus version of the UTxO-HD prototype that features the second version of the Ledger DB API. We also changed the epoch structure for Conway, made progress towards the Bootstrap State Machine and Peras planning. On the support front, we are investigating the impact of snapshots on missed leadership checks.

High level overview​

This week, the Mithril team kept implementing a new data type for certifying Cardano transactions within Mithril networks. They completed the aggregator routes responsible for generating proofs of membership for a list of Cardano transactions and for listing produced artifacts. Additionally, they worked on extending the Mithril client library to support the verification of Cardano transactions, and on the creation of the new Mithril network running on SanchoNet.

Finally, the team kept working on the threat modeling and risk analysis for the Mithril network and investigated some flakiness occurring in the end-to-end tests in the CI.

Low level overview​

• Completed the issue Implement proof generation route in the aggregator #1467
• Completed the issue Implement artifact routes in the aggregator #1478
• Completed the issue Enhance ImmutableFile list computation resilience #1450
• Completed the issue Add WASM client step in Mithril Client multi-platform test #1408
• Completed the issue Enhance end to end test for Cardano hard forks #1464
• Worked on the issue Implement transactions verification in client library #1468
• Worked on the issue P2P threat modeling and risk analysis #1350
• Worked on the issue Create a test network on SanchoNet #1173
• Worked on the issue Enhance Mithril/Cardano node communication #1315
• Worked on the issue Some end to end tests are flaky in the CI #1147
• Worked on the issue Handle cancellation of certificate verification in WASM client #1480
• Worked on the issue Upgrade http dependency #1474
• Worked on the issue Generate automatic documentation for CLIs #1471

High-level overview of sprint 54​

In this sprint, we merged the bootstrap peers (aka weak genesis) changes to the ouroboros-network repository (ouroboros-network#4615). We continued working on integration & testing it using an early development version of cardano-node (cardano-node#5485).

Andrew Westberg (DripDropz) noticed and fixed a mistake in the cddl spec which resulted in misleading documentation; ouroboros-network#4790. The Handshake protocol flag should be called initiatorOnlyDiffusionMode. Library authors providing connectivity with other nodes via the node-to-node protocol are advised to review their implementation.

We continued working on the tx-submission decision logic; ouroboros-network#3311.

Karl Knutsson (CF) implemented:

• a debugging feature which dumps outbound governor state on the SIGUSR1 event (supported on POSIX compatible OSes); ouroboros-network#4730, ouroboros-network#4789.
• limited the rate at which one can discover nodes through peer sharing; ouroboros-network#4778.

Open Source Contributions​

IOSim​

We released a new version of io-sim to Hackage:

• Sebastian Nagel (IOG) fixed a bug in the flushTQueue implementation; io-sim#135
• We fixed the underflow error in threadDelay in the si-timers library (io-sim#129) reported by Nick Frisby (Tweag)

NoThunks​

We released a new version of nothunks to Hackage:

• wherefrom support; nothunks#46
• added Solo instance; nothunks#45
• added instances for Monoid and Semigroup newtype wrappers; nothunks#43

Low-level summary​

• We started using the ImportQualifiedPost extension, hence a large (autogenerated) syntax change; ouroboros-network#4715.
• Code cleanup; ouroboros-network#4792