Services
Smart contract audit
A frozen commit, read line by line by senior researchers after our model’s first pass. Fixed price, fix review included, a public report if you want one.
Get a quoteTwo ways to audit
Same method, same researchers. Advanced proves the bugs on live state.
Source code
Every line read by 2 researchers.
from $1,000
- 2 senior researchers
- AI pentest by nonce-sc-1 on every line
- 404 checklist items across 10 networks
- Static analysis and fuzzing in a sandbox
- Every finding confirmed by 3 reviews
- Offline proof for every critical and high
- Fix review included
- PDF, agent-ready markdown, portal
Advanced
For deployed protocolsExploits proven against mainnet state.
from $2,000
- Everything in Source code
- 3 senior researchers
- nonce-sc-1 pentests the deployment
- EVM exploits proven on a mainnet fork
- Oracle and liquidity attacks simulated
- Invariant fuzzing on mainnet state
- Deploy scripts and admin keys reviewed
- Deployed code matched, re-read daily
The final price is fixed from lines of code, chains and deadline, sent within 12 hours.
Three steps
- 1
Send the repo
An email and a link.
- 2
Get a fixed price
In under 12 hours.
- 3
Fix in the portal
We verify every fix.
Networks we audit
EVM9
- EthereumSolidity, Vyper
- ArbitrumSolidity, Vyper
- OptimismSolidity, Vyper
- BaseSolidity, Vyper
- PolygonSolidity, Vyper
- BNB ChainSolidity, Vyper
- AvalancheSolidity, Vyper
- LineaSolidity, Vyper
- ScrollSolidity, Vyper
Solana1
- SolanaRust, Anchor
Move2
- SuiMove
- AptosMove
ZK3
- zkSyncSolidity, Vyper
- StarknetCairo
- Polygon zkEVMSolidity, Vyper
- CircuitsCircom, Noir
More chains3
- CosmosCosmWasm, Rust
- StellarSoroban, Rust
- TONTact, FunC, Tolk
Before the code freezes
A security review checks the design, the architecture and the economics while they are still cheap to change.