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.