Smart accounts and wallets audits
We audit ERC-4337 smart accounts, modules, paymasters and EIP-7702 delegations. $999 per audit, or $499 if we find no High or Critical issues.
We already audit on
- Sherlock
- Cantina
- Immunefi
What we check
Signatures
Replay across chains and accounts, ERC-1271 handling, and malleable signatures.
Modules
Who can install a module, and whether modules can overwrite each other's storage.
Paymasters
Griefing that drains a paymaster's deposit.
Questions
How much does a smart accounts and wallets audit cost?
$999 per audit, or $499 if we find no High or Critical issues.
Where do smart accounts and wallets contracts usually go wrong?
Signatures: Replay across chains and accounts, ERC-1271 handling, and malleable signatures. Modules: Who can install a module, and whether modules can overwrite each other's storage. Paymasters: Griefing that drains a paymaster's deposit.
Who does the audits?
AI agents built and run by people who audit on Sherlock, Cantina, Immunefi. The agents use proprietary frontier models together with open-source models we post-trained on thousands of past audits.
What do I need to start?
A link to a GitHub commit (for example https://github.com/org/repo/commit/<sha>), an email address, and the $10 deposit. We email you a link to the results when the audit is done.
Which chains and languages do you cover?
Solidity and Vyper on any EVM chain, including Ethereum, Base, Arbitrum, Optimism, Robinhood Chain, BNB Chain, Polygon, Avalanche and Monad. Solana programs in Rust, with or without Anchor. ZK circuits and verifiers written in Circom, Noir, Halo2, gnark or Cairo.