The startup develops a distributed software system that utilizes formal verification techniques to provide mathematical proof of correctness for blockchain and distributed systems. Their services, including education, training, and consulting, help companies minimize data replication and efficiently correct errors.
Funding
$3.9M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
CGFounders
Product
Problem
Building trust and ensuring reliability in blockchain and distributed systems is challenging due to the complexity of the underlying code and the potential for vulnerabilities. Traditional software development practices often lack the rigorous mathematical guarantees needed to prevent critical errors and security breaches in these systems.
Solution
Informal Systems provides security audits, protocol design, and formal methods for blockchain applications and infrastructure, fostering trust in software and money. The company utilizes formal verification techniques to deliver mathematical proof of correctness for blockchain and distributed systems. Informal Systems offers a range of solutions including institutional-grade staking for ETH, BTC, and Cosmos ecosystems, security audits, protocol design, and formal methods for blockchain applications and infrastructure. They also support early-stage blockchain startups through their ventures division.
Target Audience
The primary target audience includes blockchain developers, enterprises, and financial institutions seeking to enhance the security and reliability of their distributed systems and digital assets.
Features
- Security audits for blockchain applications and infrastructure
- Protocol design using formal methods
- Institutional-grade staking for ETH, BTC, and Cosmos ecosystems
- Development and support of open-source projects like Cosmos Hub, IBC-rs, and CometBFT
- Investment in early-stage blockchain startups