connection-handshake

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.