Skip to main content

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

Issues