Cardax blog

Archives


Categories


Meta


Tech Update Week 44: Starting a more Formal Specification

MatthiasMatthias

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 easier way to reason about the behavior of the smart contract.

With the latest beta release of Plutus application backend (PAB) [pab-beta-release], our web app development will now also start the research on integrating with the blockchain via PAB.

References:
[pab-beta-releaes]: https://github.com/input-output-hk/plutus-apps/releases/tag/v2021-11-05

Matthias
Author

Haskell & Plutus Developer at Cardax

Comments 0
There are currently no comments.