2024-08-16
· One min read
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