Cross chain security — Safety, Liveness and Economic Security

Safety

Safety means nothing bad happens.

Ronin’s bridge validator set

Liveness

Liveness asserts that something good will eventually happen.

Nothing bad will happen, but nothing good will either

Economic Security

Game theory, basically. A system is secure if the value to be lost is higher than the value that can be gained by attacking.

wyd?

Structural Security

“Define each process and its interactions.”

Suzanne Ciani testing in prod

There is no easy way of measuring structural security, but try to understand all the elements of a system and how they interact.

Gravity bridge involves interactions between: Tendermint client, Cosmos SDK modules, Ethereum’s PoW, the EVM, relayers.

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
0xpostman

0xpostman

Cross chain desperado loose in the wireld