Present​

• Work on last soundness proof
• Enhanced generators, coverage, and adversarial scenarios in conformance tests
• Major edits to Peras FAQ

Future​

• Release conformance tests
• Move Peras github repo from private to public access
• Internal Q&A session for Peras

Issues​

• Approval needed for formal submission of CIP
• Slight methodological incoherence in conformance tests

Present​

• Soundness proofs near completion.
• Developed and documented conformance-testing framework for external (non-Haskell) implementations of the Peras protocol.
• Packaged the reference/prototype implementation of Peras as a standalone program with an interface conforming to the external conformance tests.
• Defined next Quviq tasks for enhancements of conformance testing.
• Presented Peras at Monthly R&D Backlog meeting.

Future​

• Complete soundness proofs.
• Complete conformance tests.

Issues​

• Waiting for approval to transition Peras CIP pull request from "draft" to "ready for review".

Present​

• Soundness proofs nearly complete, aside from a few edge cases
• Completed interactive dashboard
• Wrote FAQ and overview slides

Future​

• Additional adversarial conformance tests, collaboration with Quviq.

Issues​

• CIP draft needs more internal reviewers

Present​

• Significant progress on soundness proofs
• Analytic formulae for fast estimation of settlement probabilities
• Initial dashboard for exploring performance and safety implications of Peras protocol-parameter choices
• Wrote Peras section for IOR Methodology document

Future​

• Complete soundness proofs
• Polish and improve usability of performance dashboard
• Outreach materials (FAQ, slides, business case) for Peras

Present​

• Work on soundness proofs
• Developed and analyzed adversarial scenarios for settlement/finality in Peras vs Praos
• Enhanced Markov-chain simulator (higher precision, additional metrics)
• Expanded the CI builds/tests and made them more efficient

Future​

• IOE meeting on 2025 level-of-effort estimate
• Dashboard for exploring Peras protocol parameters