Blockchain-based network and tools for the interchain. It enables users to build formal verification tools for design, engineering, and security audits. It offers services for the proof-of-stake validator, IBC relayer, security audit for cross-chain protocols, and core blockchain infrastructure. Founded in 2019, headquartered in Toronto, Canada. The company has raised $5.3M in funding at the series a stage. The team comprises 49 (Jun 30, 2026) employees. Informal Systems operates in the Blockchain Infrastructure sector. The company focuses on Blockchain Network. Notable investors include CMCC Global, Nascent, Maven 11, CMT Digital. The company has a team of 49 employees. The company is categorized under High Tech > Blockchain Infrastructure; Blockchain Technology > Blockchain Infrastructure.
← All startups
Informal Systems
Series ABlockchain-based network and tools for the interchain. It enables users to build formal verification tools for design, engineering, and security audits. It offers services for the proof-of-stake validator, IBC relayer, security audit for cross-chain protocols, and core blockchain infrastructure. Founded in 2019, headquartered in Toronto, Canada. The company has raised $5.3M in funding at the series a stage. The team…
About
Business model
Blockchain Infrastructure > Blockchain Network
Institutional investors
CMCC GlobalNascentMaven 11CMT Digital
Latest coverage
📰 Latest funding news — recent raises and deal signals across the ecosystem.
Investor directory
🗂️ See who's investing in High Tech — full fund directory with check size and geography.