Skip to content

Latest commit

 

History

History
 
 

spec

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

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.