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