Services
Audit de smart contracts
Un commit figé, lu ligne par ligne par des chercheurs seniors après une première passe de notre modèle. Prix fixe, revue des correctifs incluse, un rapport public si vous le souhaitez.
Demander un devisDeux façons d’auditer
Même méthode, mêmes chercheurs. Avancé prouve les failles sur l’état réel.
Code source
Chaque ligne lue par 2 chercheurs.
à partir de 1 000 $US
- 2 chercheurs seniors
- Pentest IA par nonce-sc-1 sur chaque ligne
- 404 points de contrôle sur 10 réseaux
- Analyse statique et fuzzing en sandbox
- Chaque constat confirmé par 3 revues
- Preuve hors ligne pour chaque faille critique et haute
- Revue des correctifs incluse
- PDF, markdown prêt pour les agents, portail
Avancé
Pour protocoles déployésExploits prouvés sur l’état du mainnet.
à partir de 2 000 $US
- Tout ce que comprend Code source
- 3 chercheurs seniors
- nonce-sc-1 teste les contrats déployés
- Exploits EVM prouvés sur un fork du mainnet
- Attaques d’oracle et de liquidité simulées
- Fuzzing d’invariants sur l’état du mainnet
- Scripts de déploiement et clés admin revus
- Code déployé vérifié, relu chaque jour
Le prix final dépend des lignes de code, des chaînes et du délai, et arrive en moins de 12 heures.
Trois étapes
- 1
Envoyez le dépôt
Un e-mail et un lien.
- 2
Recevez un prix fixe
En moins de 12 heures.
- 3
Corrigez dans le portail
Nous vérifions chaque correctif.
Réseaux audités
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
Autres chaînes3
- CosmosCosmWasm, Rust
- StellarSoroban, Rust
- TONTact, FunC, Tolk
Avant le gel du code
Une revue de sécurité examine la conception, l’architecture et l’économie tant qu’elles coûtent peu à changer.