Liquid staking audits
Liquid staking tokens hold user stake and have to price it correctly through rewards, slashing and withdrawals. We audit LST protocols on Ethereum, Solana and other chains. $999 per audit, or $499 if we find no High or Critical issues.
We already audit on
- Sherlock
- Cantina
- Immunefi
What we check
Exchange rate
Share price manipulation through donations or reward reports, and rounding on mint and redeem.
Withdrawal queues
Queue order, finalization, and who takes the loss when slashing happens while requests are queued.
Operators and oracles
Validator key management, the reward oracle, and what operators are allowed to do.
Questions
How much does a liquid staking audit cost?
$999 per audit, or $499 if we find no High or Critical issues.
Where do liquid staking contracts usually go wrong?
Exchange rate: Share price manipulation through donations or reward reports, and rounding on mint and redeem. Withdrawal queues: Queue order, finalization, and who takes the loss when slashing happens while requests are queued. Operators and oracles: Validator key management, the reward oracle, and what operators are allowed to do.
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.