Informal Systems
Informal Systems is a core developer in the Cosmos cross-chain ecosystem, focused on developing the Tendermint consensus engine and IBC key components such as interoperability standards. They are committed to providing infrastructure, tools, and security auditing services to support the cross-chain ecosystem, and to improving software engineering practices through formal methods technology. They also undertake projects such as collaborative finance, aiming to combine Cosmos technology with fintech products to provide liquidity systems for enterprises.
Overview
Informal Systems is a core developer in the Cosmos cross-chain ecosystem, focused on developing the Tendermint consensus engine and IBC key components such as interoperability standards. They are committed to providing infrastructure, tools, and security auditing services to support the cross-chain ecosystem, and to improving software engineering practices through formal methods technology. They also undertake projects such as collaborative finance, aiming to combine Cosmos technology with fintech products to provide liquidity systems for enterprises.
- Sector
- # Other
- Ecosystem
- —
Team
Team information has not been disclosed.
Funding history
1 disclosed rounds- Unknown
5,300,000 USD
Related news
Market updates
No related market updates.
People updates
No related people updates.