The Inter-Blockchain Communication protocol enabling trustless message and value transfer between Cosmos blockchains.

A mathematical process for rigorously proving the correctness of smart contract code and protocol designs.

How easily an asset can be traded without large price impact; higher liquidity generally reduces slippage.