Skip to main content

2024-03-01

· 2 min read

Present​

  • Quviq SoW has been signed and we had a first meeting with the team, presenting them the current state of the prototype and what our expectations were
  • Refactored Agda specification to support easier proofs of some properties. This rippled over the code base as Agda types representation is our reference
  • First (simple) implementation of a Rust Peras node which passes the peras-quickcheck NodeModel tests, albeit quite slowly
  • More faithful implementation of Peras protocol in peras-iosim including cooldown period
  • Started experimenting with ΔQ modeling and tinkering with existing core repositories
  • First Monthly review presented and recorded
  • Workshop in Paris confirmed, will take place on April 9-10 at the Mobiskill office in the 9th district
  • Started discussion with Consensus team over downstream implementation challenges for Peras
  • Clarified the situation of alternative remediations to finality: They should be addressed directly by the Consensus team as there's no need for Innovation stream to be involved

Future​

  • Work on providing some answer to a key question raised by Core tech team: How does Peras will fare when the network load increase from the current 40% to expected 80%?
  • Some secondary questions to answer when it comes to engineer Peras in Cardano:
    1. Can we get rid of counting dangling votes when selecting best chain?
    2. How to deal with the size of votes to diffuse if they are needed for chain selection, given the necessity of header/body split in Cardano?
  • Improve fidelity of the simulation w.r.t. actual network protocol used in Cardano, eg. push vs. pull model
  • Complete Rust node and use netsim library to manage routing between nodes
  • Start more concrete work with PNSol and Quviq on their respective area of expertise

Issues​

None