Skip to main content

2024-06-07

· One min read

Present

  • Briefed Peras to Consensus Technical Working Group.
  • Completed one more round of stakeholder interviews, focusing on SPOs.
  • Readied Peras website for deployment.
  • Major improvements to web-based interactive visualizer of Peras protocol operation, so it is ready to deploy internally at IOG.
  • Progress on formal specification in Agda.
  • Refined Haskell prototype of Peras, so it is fully in sync with the draft paper, aside from the some details of preagreement.
  • Cataloged constraints on and interactions among Peras parameters and determined reasonable defaults for simulations.
  • Collaboration with Quviq on Agda-to-Haskell efforts.

Future

  • Connect Agda-generated code to dynamic quickcheck properties.
  • Delta-Q analyses of vote propagation.
  • Extend and document analytic computations of Peras behaviors.

Issues

  • The in-person Peras workshop is approved for June 25-28.