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 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
