Restaking audits
Restaking adds new slashing conditions on top of staked assets. We audit restaking protocols, LRTs and AVS contracts. $999 per audit, or $499 if we find no High or Critical issues.
We already audit on
- Sherlock
- Cantina
- Immunefi
What we check
Slashing
How a slash moves through delegations, LRT share prices and withdrawal queues.
Delegation accounting
Operator shares, undelegation timing, and shares counted twice across strategies.
LRT pricing
NAV across several underlying assets and the oracles behind it.
Questions
How much does a restaking audit cost?
$999 per audit, or $499 if we find no High or Critical issues.
Where do restaking contracts usually go wrong?
Slashing: How a slash moves through delegations, LRT share prices and withdrawal queues. Delegation accounting: Operator shares, undelegation timing, and shares counted twice across strategies. LRT pricing: NAV across several underlying assets and the oracles behind it.
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.