Skip to main content

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