Our Work
Projects we've shipped with clients, from developer tools to formal proofs.
Trusted by
We proved smart contracts correct before deployment.
A formal verification framework for Ethereum.
We made Safe transactions verifiable offline.
An offline transaction verification tool for Gnosis Safe, built for the Ethereum Foundation.
We made USDC available on Bitcoin.
A Starknet-Bitcoin bridge built for Starknet with Xverse.
We built a multisig security app and got acquired.
A Gnosis Safe security app built with Nexus Mutual, later acquired by OpenCover.
Cairo fully documented for better dev UX.
8,000+ lines of Cairo documentation made for Starkware.
We automated your dev research.
An AI-powered Cairo assistant built for Starkware & the Starknet Foundation.
We gave $13,671 to the winner.
A game theory experiment designed to onboard Ethereum users to Starknet.
We brought 413K players on-chain.
A retro on-chain game sponsored by 21 web3 protocols on Starknet.
We brought 614K users to web3 apps.
A gamified quest platform built for the Starknet ecosystem.
We built the most used Cairo resource.
The comprehensive Cairo programming guide, made for Starkware & the Starknet Foundation.
We got 239K on-chain customers.
The decentralized identity protocol powering 30+ apps on Starknet.
