Skip to content

Latest commit

 

History

History
 
 

connection-handshake

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

IBC Connection Handshake Spec

Specification roadmap

In this folder you will find a collection of documents representing English & TLA+ specifications for the IBC connection handshake problem [ICS-003].

We currently cover two levels of abstraction of ICS2, in accordance with the VDD workflow: level 1 (abstract), level 2 (system model & distributed protocol). Consequently, we break this work across the following documents:

  • L1_2.md covers the highest level of abstraction (level 1) and also includes an English spec of the system model and protocol (level 2);
  • L2-tla is a directory with the TLA+ spec for level 2.