The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.
High level summary
This sprint the teams have been working on finalising their ICE papers for publication in EPTCS, formalising concensus, and investigating chain sync.
Details
Preparing final versions of ICE papers
Reviewing the chain sync design and documentation
Refactoring the thorn calculus
First draft of Praos specification
Developing bounding factors on timeouts