2024-09-06
· One min read
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".