Status Update

WEEKLY DEVELOPMENT REPORT

Daedalus

Wallet

This week the team has been entirely focused on delivery of the balance check version of Daedalus for the Incentivized Testnet. All the required UI and UX changes have been implemented, reviewed, and tested.

App Platform

The application platform team has been supporting the main Daedalus team in their efforts for the Incentivized Testnet this week, so there are no updates.

Cardano Explorer

This week the team completed all the work needed for the first release of the Cardano Explorer, which covers all the Byron-era features. The code has been reviewed, and the application is now in the QA phase.

Wallet backend

Wallet

This week the team has been working on delegation support in the wallet while also juggling Jörmungandr release candidates. The team is making an effort to stay in sync with Jörmungandr latest to avoid having to resolve any last-minute integration issues, as well as to allow other IOHK engineers to play with it on staging environments.

Networking

This week the networking team tracked down a bug in the ledger, as well as making progress with profiling the peer-to-peer graph simulation to be able to simulate larger graphs. Additional work is also being done on the peer-to-peer governor and lazy multiplexer, which can start and stop mini-protocols.

The team revisited the Praos paper calculations of the probability of diffusing a block within a slot time this week. They also merged the Windows named pipes API patch, and reviewed and merged a long-standing patch that implemented the orElse combinator of MonadSTM. This includes a formalization of the operational semantics of STM, as described in the paper A Compositional Theory for STM Haskell, which will allow the team to check that the implementation of STM and the GHC implementation agree with the formal operational semantics.

DevOps

The DevOps team has been working with the Daedalus team this week to support the release of a balance check Daedalus client for the early phases of the Incentivized Testnet.

Cardano Decentralization

The team spent a lot of time this week addressing property testing shrinkage issues, as well as doing other work on invalid trace generation. The decision was also made this week to remove from the implementation the formal specification requirement that stake keys need to witness their registration certificates. Making this simplification has allowed the team to simplify the implementation of several other related components.

Goguen

This week the Plutus team did a significant amount of work on ledger updates, refactoring a variety of things relating to addresses and hashes. The main improvements from this work included deleting outdated functionality, hiding the constructor of address (to ensure that addresses can only be constructed in prescribed ways), updating TxId and Address so that they can be used on-chain, and consequently removing TxHash.

In addition, the team started to work on a document that describes the architecture of the Plutus repository as well as some general performance improvements.

The Marlowe team worked on a review of styling and user experience improvements within the Marlowe Playground. Work has also started on updating the Marlowe testnet to reflect recent functional changes.