@informalinc
@Cosmos Contributor | @CosmosHub , @CometBFT & @IBCProtocol | Formal Methods & Audits | Validator & Relayer | Bringing trade finance on-chain w/ @cyclesmoney