Our Work
Production work for clients: developer infrastructure, protocols, and machine-checked proofs.
Trusted by
We proved smart contracts correct before deployment.
A formal verification framework for Ethereum, granted by the Ethereum Foundation.
We made Safe transactions verifiable offline.
An offline transaction verification tool for Gnosis Safe, built for the Ethereum Foundation.
We built a multisig security app and got acquired.
A Gnosis Safe security app built with Nexus Mutual, later acquired by OpenCover.
We made USDC available on Bitcoin.
A Starknet-Bitcoin bridge built for Starknet with Xverse.
We built a private Ethereum assistant.
A local-first chat app for interacting with EVM chains, built for the Ethereum Foundation.
We automated your dev research.
An AI-powered Cairo assistant built for Starkware & the Starknet Foundation.
Cairo fully documented for better dev UX.
8,000+ lines of Cairo documentation made for Starkware.
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.
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.