2024-02-16
· One min read
Present
- We managed to scaffold a "chain of evidence" from Agda model to prototype implementation, gathering knowledge and good intuition in the process on how the various pieces fit together
- Creative engineering continued work on a Network simulator in Rust, completing FFI so that it can be used in to build a prototype that we can test against
- Investigation on what's the current state of ΔQ resources and how it could be applied to our problem
- Quviq SoW still in the hands of Procurement, waiting finalization
Future
- Quviq SoW signature and execution
- Implement an IOSim version of Praos/Peras (honest) node, porting existing code from previous experiment
- Implement a Rust version of Praos/Peras node
- Demonstrate "evidence trail" on a Peras-related property (selection of heaviest chain by honest nodes?)
- Engage with PnSol on ΔQ
- Prepare in 1st monthly demo meeting
- Organise in-person workshop in Paris, April 9-10
Issues
- Still unclear what's the situation of alternative remediations for faster settlement proposed during the Edinburgh Peras workshop?