Axelar is an overlay network, delivering Turing-complete message passing via proof-of-stake and permissionless protocols.