We use Rust and formal verification tools to build open source,
fault-tolerant, distributed systems.
We are core developers of the Tendermint and IBC projects, with a focus
on software implementations in Rust.
We build formal verification tools that we leverage in our protocol
design, engineering, and security audits.
Jump to Security Audits