2024-04-12
· One min read
Present
- The whole team met in person for a 2-days workshop in Paris
- Complete Technical report with simulation work results
- Quviq demonstrated Agda ↔ QC integration process on a toy protocol example
Future
- "Publish" Peras protocol in Agda to serve as reference point for researchers and engineers
- Prepare and deliver PI Planning value demo & next PI planning objectives
- Discuss implementation phase and involvement of consensus engineer(s) in R&D stream
- Work on ΔQ vote diffusion model with PNSol team
- Model Peras property check in Agda-QCD