Merge pull request #244 from input-output-hk/add-missing-weekly-updates

Add missing weekly updates

site/weekly/2024-08-09.md

@@ -0,0 +1,17 @@
+---
+title: '2024-08-09'
+---
+
+## Present
+
+- Completed CIP for Peras as self-contained literate Agda with supporting technical analyses and arguments
+- Worked on soundness proofs for Peras executable specification
+- Briefed Intersect's Core Infrastructure (CI) working group on Peras
+- Coordinated plan with Quviq for including adversarial actions in conformance tests
+- Created standalone version of IOG Agda Prelude
+
+## Future
+- Reviews of Peras CIP
+
+## Issues
+- We need a decision process for determining when to move the Peras CIP from its current draft state (internal review) to the ready to review state (public review).

site/weekly/2024-08-16.md

@@ -0,0 +1,14 @@
+---
+title: '2024-08-16'
+---
+
+## 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

site/weekly/2024-08-23.md

@@ -0,0 +1,14 @@
+---
+title: '2024-08-23'
+---
+
+## 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

site/weekly/2024-08-30.md

@@ -0,0 +1,17 @@
+---
+title: '2024-08-30'
+---
+
+## 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

site/weekly/2024-09-06.md

@@ -0,0 +1,20 @@
+---
+title: '2024-09-06'
+---
+
+## 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".

site/weekly/2024-09-13.md

@@ -0,0 +1,21 @@
+---
+title: '2024-09-13'
+---
+
+## 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

site/weekly/2024-09-20.md

@@ -0,0 +1,17 @@
+---
+title: '2024-09-20'
+---
+
+## Present
+
+- More edge cases of soundness proofs
+- Rewrote conformance tests to increase coverage
+- Settled on next steps for collaboration with Quviq
+- Acceptance criteria for most PI7 objectives are complete
+
+## Future
+
+- The innovation workstream for Peras is entering "maintenance mode" next week
+- Retrospective - Oct 2
+- Quviq presentation on testing and formalization lessons learned from Peras
+- R&D seminar - date TBD

site/weekly/2024-09-27.md

@@ -0,0 +1,15 @@
+---
+title: '2024-09-27'
+---
+
+## Present
+
+- Progress on soundness proofs
+- Expanded coverage of conformance tests
+- Peras infographic
+- Video for Monthly R&D Backlog meeting
+
+## Future
+
+- Review and retrospective next week
+- Open Q&A meeting in 1.5 weeks

site/weekly/2024-10-04.md

@@ -0,0 +1,15 @@
+---
+title: '2024-10-04'
+---
+
+## Present
+
+- Wrote CPS "Faster Settlement for Cardano", covering Peras, Anti-Grinding, and Active-Slot Coefficient
+- Peras retrospective
+- Peras Monthly Review & Demo
+- Finalized conformance tests
+
+## Future
+
+- Open Q&A meeting next week
+- IO R&D Seminar on October 21

site/weekly/2024-10-11.md

@@ -0,0 +1,16 @@
+---
+title: '2024-10-11'
+---
+
+## Present
+
+- Reached closure on soundness proofs
+- Open Q&A session
+- Preparations for PI7 value demonstration
+- Comprehensive slide deck for future presentations
+- Slide deck for R&D seminar
+
+## Future
+
+- PI7 value demonstration
+- Oct 21 R&D Seminar