Axelar is the leading interoperability solution for moving assets from one blockchain to another. A pioneer in the bridging of assets, they are the first in the field to implement a broadly deployed bridge that does not rely on a fixed committee or federation, unlike typical multisig bridges. Instead, they rely only on their underlying proof-of-stake security assumptions, by leveraging their population of Cosmos validators. We have worked together with Axelar as their technical advisor since the project’s inception and have helped them audit their smart contracts that allow bridging into and out of EVM-compatible chains over multiple iterations. Lastly, we are actively running an Axelar Cosmos validator on their mainnet and testnet.