This repository was archived by the owner on Nov 26, 2022. It is now read-only.

Name		Name	Last commit message	Last commit date
parent directory ..
connection-handshake		connection-handshake
relayer		relayer
tla		tla
README.md		README.md

README.md

Specification and verification of IBC protocols

tla comprises TLA+ specification for the IBC specification.
connection-handshake [Deprecated] contains English and TLA+ specifications for the IBC Connection Handshake Protocol (ICS 003).
relayer contains English specification of the relayer.