Skip to main content

Goedel Team Update

· One min read
James Chapman

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

The team is currently formalising mini protocols and working on a performance modelling paper

Details

  • completing work on chain sync mini-protocol

  • specifying correctness property of chain sync mini-protocol

  • creating diagrams for JLAMP paper

  • finalising structure of JLAMP paper