Description
Informal Systems is a pivotal company in the web3 and blockchain ecosystem, emphasizing the creation of verifiable distributed systems and protocols to bolster the security, scalability, and sustainability of decentralized networks. With a fundamental commitment to transparency and formal verification, it validates the correctness of systems through rigorous mathematical methods. Their work notably includes contributions to the Cosmos Network, fostering an open, scalable, and interconnected digital economy with interoperable blockchain applications. Their product offerings encompass Tendermint Core, a Byzantine fault-tolerant consensus engine for blockchain application development, and the Inter-Blockchain Communication Protocol (IBC), designed for reliable and authenticated inter-blockchain communication. Additionally, Informal Systems places a strong emphasis on research, protocol design, system architecture, and security audits. They are particularly focused on formally verifying Cosmos protocols and implementing them in Rust Language, aiming to establish an open-source ecosystem of cooperatively owned and governed distributed organizations powered by reliable systems.
Informal Systems is a pivotal company in the web3 and blockchain ecosystem, emphasizing the creation of verifiable distributed systems and protocols to bolster the security, scalability, and sustainability of decentralized networks. With a fundamental commitment to transparency and formal verification, it validates the correctness of systems through rigorous mathematical methods. Their work notably includes contributions to the Cosmos Network, fostering an open, scalable, and interconnected digital economy with interoperable blockchain applications. Their product offerings encompass Tendermint Core, a Byzantine fault-tolerant consensus engine for blockchain application development, and the Inter-Blockchain Communication Protocol (IBC), designed for reliable and authenticated inter-blockchain communication. Additionally, Informal Systems places a strong emphasis on research, protocol design, system architecture, and security audits. They are particularly focused on formally verifying Cosmos protocols and implementing them in Rust Language, aiming to establish an open-source ecosystem of cooperatively owned and governed distributed organizations powered by reliable systems.
