Skip to content

Files

Latest commit

5290c8c · Jan 3, 2024

History

History
This branch is 55 commits ahead of, 225 commits behind informalsystems/hermes:master.

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.