Analysis of mesh security

This repository contains source code for analysing two proposals of mesh security: interchain timestamping and cross-staking. The analysis is based on the data of existing Cosmos zones and their IBC channels.