Skip to main content

2024-09-13

· One min read

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