Static Application Security Testing of Consensus-Critical Code in the Cosmos Network

Jasper Surmont, Weihong Wang, Tom Van Cutsem

Blockchains require deterministic execution in order to reach consensus. This is often guaranteed in languages designed to write smart contracts, such as Solidity. Application-spec…