Skip to main content

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team started working on the decentralization of the Mithril networks with a proof of concept of peer-to-peer (P2P) networking between nodes. The team kept working on the adaptation of the Mithril client as a library, on the deterministic computation of the transaction history of an address from the immutable files, and on the refactoring that will fix the bottleneck of the key registration in the aggregator. Additionally, they published a security advisory for the Mithril relay.

Finally, they enhanced the CI/CD to publish multiple packages to crates.io and started improving the developer experience with the Mithril devnet.

Low level overview

  • Published the security advisory Mithril relay could expose Cardano block producer internal IP when updated #GHSA-9m3h-72xj-x2gq
  • Worked on the issue P2P Networking - Proof of Concept #1300
  • Worked on the issue Make mithril-client crate a library #1141
  • Worked on the issue Compute deterministic Cardano transactions history PoC #1283
  • Worked on the issue ProtocolKeyRegistration creates performance bottleneck in aggregator #1187
  • Completed the issue Publish multiple packages to crates.io #1298
  • Completed the issue Rename public key published in releases #1292
  • Completed the issue Mithril networks infrastructure maintenance #1218
  • Worked on the issue Fix devnet Mithril Docker images #1272

· One min read
Marcin Szamotulski

High-level overview of sprint 46

Bootstrap Peers

We continued reviewing of bootstrap peers, see ouroboros-network#4555.

Towards Typed Protocols 0.2.0.0

We diagnosed the performance regression of the new design. The work on typed-protocols will be postponed. For more details see the typed-protocols#3. As an outcome of the performance debugging we prepared PR which updates the demo-ping-pong and demo-chain-sync applications.

Peer Sharing

We made progress in review of ouroboros-network#4644, which simplifies the peer sharing and fixes the ouroboros-network#4642 issue.

Tech Debt

We reviewed the ouroboros-network#3836 PR which inspects all the uses of error in ouroboros-network. The PR was prepared by Galois.

· One min read
James Chapman

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 testing the performance analysis tool

Details

  • extending thorn-calculus to support synchronous channels

  • extending mini-protocol framework to support communication with the environment

  • working on chain sync mini-protocol

  • planning for JLAMP journal paper submission

  • analysying any-to-finish

· One min read
Franco Testagrossa

High-level summary

This week, the Hydra team's primary focus was on finalizing the new network resilience layer. This involved adding persistency to ensure data integrity.

They also completed the exploration of potentially moving the Plutus validator scripts to Aiken.

Additionally, the team dedicated some attention to our TUI by upgrading the Brick framework. They also undertook a comprehensive refactoring of the project's structure and addressed various bug fixes. These efforts are aimed at enhancing the overall user experience of our project.

What did the team achieve this week

  • Network Resilience Persistence (#1101)[https://github.com/input-output-hk/hydra/pull/1101].
  • Upgrade brick on TUI (#1103)[https://github.com/input-output-hk/hydra/pull/1103].
  • Aiken commit validator translation (#1072)[https://github.com/input-output-hk/hydra/pull/1072].
  • Fixed some bugs in our TUI client.

What are the goals of next week

  • Prepare presentation and workshop for Cardano Summit.
  • Work on hydra-poll dApp for Cardano summit.
  • Start the work on packaging hydra-node and related services.

· One min read
Alexey Kuleshevich

High level summary

The Ledger team has been shifting focus from implementing Conway related features to testing. For this reason there is a very little amount features that are reported this time aorund. Notable Conway related changes are a specialized ledger query for getting Constitutional Committee state and prevention of submitting proposal procedures that have no valid path to enactment.

Testing related work was mainly on a constraint base system as well as on roundtrip serialization. As a result of this extra testing a bug in Conway Genesis serialization was eliminated.

Low level summary

Conway era

Integration and releasing

Testing

  • pull-3769 - Add roundtrip testing by validating FlatTerm
  • pull-3783 - Update TranslationInstance.hs
  • pull-3775 - Refactor and improve constraint based STS tests
  • pull-3793 - Fix sums with negative RHS.