Cardax blog

Archives


Categories


Meta


Tech Update Week 45: Framework for Specification

MatthiasMatthias

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 our design.

Additionally, we continued our development on the DEX-specific implementation and added some property-based tests.

Besides this, we started to work on improving our communication of the technical progress in a more user-friendly way.

Matthias
Author

Haskell & Plutus Developer at Cardax

Comments 0
There are currently no comments.