Haskell & Plutus Developer at Cardax
The focus of this week was in working towards moving the pure model and the formal spec closer. The meeting point of the two essentially is Plutus code. For the spec team, it is important to verify the feasibility (practically) of the formal model. For the pure model team to introduce the complexity of the […]
Matthias
This week we concentrated more on organizational and coordinational tasks. Since the pure model and the spec are evolving, soon we need to use them for the implementation of the smart contracts. In preparation for this, we started to agree upon a Minimal-Viable Product (MVP), which will help to focus on the final product. We […]
Matthias
This week, we continued the work on the more formal specification of the approach. Essentially, this was about defining the notation, a framework, we want to use to describe the minting policies, transactions, and overall flow in a clean way. All this progress, naturally, helped to refine the pure model of the abstract pattern underlying [...]
Matthias
For this week, we started the work on a more formal specification of our approach. This naturally has led to some questions which we needed to address and answer. Additionally, we improved our pure model to be more cleanly implemented as a state machine. A state machine is very desired since it allows a much […]
Matthias
This week was all about continuing the work on the pure model. This includes improving the pure model implementation and defining and implementing further properties (for testing). We also started to implement the DEX-specific instantiation of the abstract pattern we were working on so far. This will also be our focus for the next week. [...]
Matthias
This week we continue with the work from last week on the pure model. We added (and described more) properties that are checked by the automatically generated tests. Furthermore, since the core of the pure model is an abstract and reusable pattern, we started to implement the DEX-specific instantiation of this pattern. Working together [...]
Matthias
This week, we implemented a pure model for the essential part of the chosen approach. A pure model lets us focus on describing the approach already in code, but in a clean way. So without the need to already consider restrictions demanded by, e.g. the blockchain. This is a crucial step since it lets us […]
Matthias
Already at the beginning of this week, we decided upon the design for the DEX. So during the week, we collected feedback from the whole team on the design. This also created a deep understanding of the design within the whole team, which is essential for building a good product. With a decision regarding which […]
Matthias
For this week we continued the work on the design for our approaches and challenge the two approaches. Originally, our aim was to get into a position to decide upon the implementation of the Cardax DEX. We have to admit that this was a little bit too ambitious. This is because all approaches require evaluating […]
Matthias
The focus for this week was on reaching a stable state for our two approaches. This means, that we still have some design concepts left for finalizing in the next week(s). Nevertheless, we were already able to move beyond the design phase. So we started to collect criteria for the approaches in order to be […]
Matthias
Recent Comments