WHAT WE AUDIT
Infrastructure, chain by chain
Bridges touch several runtimes at once. We review each side and the messaging in between.
Bridges and messaging
Cross-chain infrastructure for teams like LayerZero and Wormhole. We have also served on Uniswap’s bridge committee.
EVM and Solidity
Experts in Solidity who have audited teams like Vyper, LayerZero, Wormhole, Euler and MetaMask, and researched malicious hook usage in Uniswap v4.
Cosmos
Cosmos SDK and CosmWasm, with an ongoing retainer through Binary Builders to audit the Cosmos SDK itself.
Formal verification
Our own tooling and a novel verification framework for Solana. We also worked with the Aptos core team to formally verify their standard library.