2024-07-19
· One min read
Present
- Completed reviewable version of second technical report
- Deployed Peras website for internal review
- Additional work on soundness proofs
- Dynamic quickcheck tests for Markov-chain simulator
- Analyzed papers on adversarial scenarios, in preparation for improved Markov-chain simulation
Future
- Complete soundness proofs
- Internal reviews of Peras website, technical report, Agda specification, and online simulator