2024-06-21
· One min read
Present
- Implemented cryptographic details of votes.
- Modeling of vote diffusion via ΔQ.
- Diagnosing problems with ΔQ libraries.
- Voting rules and voting strings in Agda.
- Reviewed Quviq's Agda-to-Haskell efforts for Peras.
- Analytic studies and documentation of additional adversarial scenarios.
- Preparations for June 25-28 working meeting in Edinburgh.
Future
- Additions to second technical report.
- Complete Agda-to-Haskell efforts.
- Meet with partner-chain stakeholders.
Issues
- None.