Blog/Formal Verification and Protocol Design for Cosmos IBC and TendermintOriginal ↗

Third Party

Formal Verification and Protocol Design for Cosmos IBC and Tendermint

16-03-20215yr ago

TLA+ specifications and security audits strengthen Cosmos ecosystem protocols.