Informal Systems является основным разработчиком программного обеспечения и протоколов сети Cosmos, с акцентом на движок консенсуса Tendermint, стандарт межсетевого взаимодействия IBC и Cosmos Hub. Они управляют Informal Staking - ведущим валидатором на основе доказательства доли, IBC релеем и поставщиком межсетевых услуг в экосистеме Cosmos и за ее пределами.