2024-03-29
· One min read
Present
- Monthly Review & Demo with slides and video
- Discussing Paris workshop agenda
- Review newest version of the protocol and integrate in Agda model
- New quickcheck-dynamic model representing more faithful interactions between environment and node
Future
::: [!NOTE]
Part of the team will be on holidays next week so we won't post an update
:::
- Continue work on formal model in Agda, to prove knowledge propagation theorem