During the last two weeks, the work on the Cardax implementation has continued – despite we skipped one weekly update: We progressed the off-chain code, it is getting into shape. Since the off-chain code does, in essence, more than the on-chain code, to start with it allowed us to get the overall application structured. In [...]
Matthias
The Christmas week was unexpected productive. It started with Hashoshi publishing the interview with George and Ryan, explaining our Streaming Merge approach. And if, after watching the video, you want to learn even more about Streaming Merge: Our article [streaming-merge] gives a deeper view. And besides this, the implementation is [...]
Matthias
This week was full of milestones: First, we revealed our core algorithm to you, the Streaming Merge. Next, we polished up the (semi-)formal spec just in time to be handed over to the implementation. And finally, during the week, we had some involving and challenging discussions with MLabs regarding our approach, the spec and the [...]
Matthias
This was a week for wrapping up our approach and understanding, by going into details with the just on-boarded MLabs team. MLabs will take care of the Plutus and Haskell code base.And, even more important, we had finalized the article to explain our approach to you: On Monday, we will release an article that describes […]
Matthias
As mentioned last week, writing (a lot of) Plutus and Haskell code will be the main focus for the next weeks. This is because our pure model together with the formal spec describes precisely how the Plutus code must behave. In order to speed up the development, we were on-boarding the very experienced Haskell, Plutus […]
Matthias
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
Recent Comments