Haskell & Plutus Developer at Cardax
With the aspiration of giving answers to technical questions on our Discord #ama to our community, we also want to make these questions easily accessible and to allow to reference them. So here are some of the most important questions. If we missed your question, if you have a question to the answers or if […]
Matthias
Continuing our progress on the implementation, this week also included adding tests to our already implemented contracts. Precisely to pool initialization and the user registration. The next contracts which we will implement are addressing the submitting of orders. On top of this, we also started to work on the integration of Plutarch. [...]
Matthias
This week has not so much exciting news but was nevertheless a very productive week. The main focus regarding implementation is now to get the on-chain validators defined and written out in a basic way in order to get to a point where a very basic user flow is possible. I.e. from user registration, pool […]
Matthias
While continuing to work on the implementation and especially the on-chain code for the Streaming Merge, the MLabs team has identified opportunities to improve the original design. In essence, there are now three potential improvements, which address scaling, dynamic membership and the elimination of a third-party bot. These are so [...]
Matthias
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
Recent Comments