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.
formal verification • distributed systems • software engineering • blockchain • security audits
November 8
Security Engineer at Informal Systems, focusing on blockchain security best practices.
October 18
Recruiter for web3 talent at Informal Systems, a blockchain-focused company.