Informal Systems
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…
Funding snapshot
About
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.
Business model
Blockchain Infrastructure > Blockchain Network
Institutional investors
Latest coverage
No articles yet.
Similar startups
Statiq
Statiq is a manufacturer of electric vehicle charging hardware and operator of charging networks across India.
PhotoRoom
PhotoRoom is an AI-powered photo editing and product photography platform designed for e-commerce businesses of all sizes.
Moises
Moises is an AI-powered creative suite for musicians that provides tools for practice, performance, creation, and collaboration.
Krisp Technologies
Krisp is an AI-powered voice platform that provides noise cancellation, accent conversion, meeting assistance, and voice AI solutions for individuals, call centers, and developers.