Status Update

Weekly Development Report

DAEDALUS

Last week the team worked on preparations for Daedalus 0.10.1 with Cardano 1.2.1 hotfix release. The main task was increasing maximum wallets limit from 10 to 20 wallets along with a UI logic which prevents users from adding more than 20 wallets.

In order to reduce application resource usage, the team decided to replace the "About window" with an overlay dialog shown in the main UI window.

The team has started the work on "Ada redemption" screen updates - the button for this screen is to be removed from the application sidebar, and placed under application menu. A new screen is to be added for the situation where a user has not added any wallets yet, which will direct the user to add a wallet in order to use this feature

WALLET BACKEND

Last week saw a lot of progress as the team engaged in various important tasks. One of these tasks was the effort to investigate high (and recurrent) IO traffic in the wallet. This task was successfully completed and the team has concluded that the large spikes were due to flushing large logs that had multiple megabyte log lines present in them.

Additionally, more progress was made on the task of creating new wallet specifications and development.

A different team member continued with input selection policy evaluation. The plan was to introduce a max-number-of-inputs in the model and implement a fallback policy that combines the largest first input with the randomized algorithm. Also the team member helped with the Coq formalization and spent some time reviewing and providing feedback on various other PR’s.

One of the teams research specialists have been busy writing their functional pearl on "Ghost of Departed Proofs". Apart from successfully finishing the paper, the team member also had some discussions with another specialist on the subject of wallet restoration as well as refactoring of the wallet worker state machine to make it cleaner and more testable as the team add new states like "restoring".

Additionally, the team continued to work on the data migration and plans to dedicate the coming week to pending restoration work.

Furthermore, work continued on the AcidState wallet adding of HdAddresses during wallet creation and applyBlock.

NETWORKING

Last week one of the main focuses of the teams’ work was on the communication protocol design. A senior member of the team has begun to design an implementation of a new inter-node communication protocol using a single bidirectional channel for all data and control message. The team spent time on studying and discussing how to deal with the download of chains of length > 1 and forks.

DEVOPS

There is no update this week.

CARDANO DECENTRALIZATION

Research and Design

Last week the research team engaged in work on the Delegation design document. The team addressed the malleability issue as well as the requirements.

Furthermore, the researchers continued work on the Incentives paper. While work had progressed nicely, the team felt that the proofs needed more engagement. They ran several simulations which confirmed their position. As a result, a number of modifications were introduced and a new simulation is planned to be administered this week.

GOGUEN

Fundamental Research

Last week was spent primarily on writing up papers for multi-currency and chimeric ledger for submission to the Journal Of Financial Technology (JFT). The ledger supports various UtXO and account based transactions.

The Reagan paper on experimentation to test the K-framework is being developed; the K-framework performed well using industry-standard COMPCERT tests.

Languages and Virtual Machines

The team reports that good progress was made on Plutus and Marlowe.

On the side of Plutus, the team spent time working on the Core as well as Smart Contract Modelling.

Marlowe is continuing with the analyses phase.

End Users and External Developers

A product manager has been hired. One of the tasks they plan to work on immediately is developing an understanding of the needs of external developers and end-users as it relates to smart contracts.

Testnets

The team reports that they have started the Cloud Infrastructure design work for the IELE testnet. Additionally, content design work for IELE testnet started.

MISCELLANEOUS WORKSTREAMS

Hardware Wallets

The developers report that the ledger integration backend work is progressing well. The team feels that there are various reasons that it might be sensible to target the Ledger Integration with the New Wallet Backend and release both when ready. Ledger backend and Daedalus work will continue in parallel with the new backend.

Additionally, the team successfully finished work on the ‘Create new wallet’ functionality, the functionality that allows it to generate new address on the device as well as spend Ada from the hardware wallet.

Daedalus App Platform

Last week the team finished working on app installation errors handling and updated the documentation with app packaging instructions. The biggest focus was putting on the development of JSX to RJX compiler which will enable the developers to write apps in standard JSX format, and then the compiler will take care of converting it into RJX code used by the app platform. This work was completed and the team refactored existing demo apps to JSX. The team started working on transparent actions handling which makes sure developers only pass event handler functions to React components.

ANNOUNCEMENTS

IOHK is currently looking for talented people to work with us as a Front End developer, Exchange Experience Engineer/Coordinator, Software Test Engineer, Senior Events Manager, Testnet Community Manager, Development Experience Manager as well as several others. Please see the IOHK Careers page for more details.