informal.systems Open in urlscan Pro
2600:1f18:16e:df00::65  Public Scan

Form analysis
0 forms found in the DOM

Text Content

INFORMAL SYSTEMS


Toggle Site Navigation
 * About Us
 * Security & Engineering
   * Security
   * CosmosHub
   * Interchain
 * Staking
 * Cycles
 * Ventures
 * Blog
 * Careers

YOUR PARTNER ACROSS THE INTERCHAIN. OUR MISSION IS TO FOSTER TRUST IN SOFTWARE
AND MONEY.

At Informal, we bring technical excellence to everything we do, ensuring the
highest standards of trust and reliability. Our diverse business lines cover
infrastructure, services, and product development, offering a complete range of
solutions.

INFORMAL STAKING

Secure the network. Align incentives.

Institutional grade staking for the ETH, BTC, and Cosmos ecosystems.

Partner with Informal Staking to keep your network running smoothly.

Learn More

INFORMAL SECURITY + ENGINEERING

Find bugs faster. Build confidence in your system.

We offer security audits, protocol design, and formal methods for blockchain
applications and infrastructure.

Partner with Informal Security to secure your software and enhance your protocol
design.

Learn More


CYCLES

Reduce your debt. Optimize your liquidity.

Why should banks get to do all the clearing? With Cycles, anyone can clear their
debts in a private, secure, and accessible way, using any type of currency or
credit that works for them.

Learn More

VENTURES

An investment division of Informal supporting early stage blockchain startups.

Learn More

PUBLIC GOODS WE SUPPORT

COSMOS HUB

cosmos-hub
IBC-RS

ibc-rs
HERMES

hermes
COMETBFT

comet-bft
INTERCHAIN

interchain
QUINT

quint
MALACHITE

malachite

PEOPLE FIRST

We are cooperatively owned. We build open-source.

We nurture sustainable relationships between people and their protocols.

Learn more about how we work together.





START YOUR CAREER WITH INFORMAL SYSTEMS

Explore career opportunities at our cooperatively owned and governed
organization, with world-class expertise in distributed systems, formal methods,
and open-source ecosystem development.

Apply Now

Our R&D powers and secures the Interchain.


Menu
 * About Us
 * Staking
 * Cycles
 * Ventures
 * Blog
 * Careers

Security & Engineering
 * Security
 * CosmosHub
 * Interchain

© 2024 Informal Systems Inc. All rights reserved.
Privacy PolicyTerms of Service