Informal Systems is a company focusing on security and engineering solutions, especially within the CosmosHub ecosystem. The company is involved in projects such as interchain staking and is a part of Cycles Ventures. Informal Systems develops tools and protocols for decentralized systems, including ibc-rs, hermes, and comet-bft, to enhance security and interoperability between blockchains. They emphasize privacy and compliance across their operations.