Skip to content

Latest commit

 

History

History
11 lines (7 loc) · 811 Bytes

README.md

File metadata and controls

11 lines (7 loc) · 811 Bytes
Raw

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.