Je vais auditer votre contrat intelligent solidity avec un proof of concept fonctionnel

Certaines informations ont été traduites automatiquement.

Japon

Je parle Japonais, Anglais

Auditeur de contrats intelligents

Je suis ingénieur en sécurité de contrats intelligents spécialisé dans les audits proof-of-exploit. Je ne me contente pas de signaler des risques — je les reproduis sous forme d’exploits fonctionnels ...
À propos de ce service

La plupart des audits bon marché vous donnent une impression papier d’outils. Moi, je vous donne une preuve.


J’audite votre contrat Solidity avec une analyse statique (Slither/Z3) combinée à une revue manuelle ligne par ligne. Ensuite, pour la vulnérabilité la plus grave, j’écris un exploit Foundry fonctionnel qui reproduit le bug sur une fork mainnet et montre précisément ce qu’un attaquant pourrait siphonner. Si un bug ne peut pas être exploité, je vous indique où il s’arrête, sans faire peur ni exagérer.


Ce que vous obtenez :

- Rapport de vulnérabilités classées par gravité (PDF + Markdown)

- Un proof of concept exploit exécutable (Standard & Premium)

- Des recommandations pour agir

- Une nouvelle exécution après correction pour prouver que le bug est corrigé (Premium)


Couverture : reentrancy, contrôle d’accès, manipulation d’oracle, arrondi ERC-4626/vault, logique de flash-loan, et pièges L2.


Je n’ai aucun faux positif, je ne signale une vulnérabilité que lorsqu’un test réel la prouve.


Vous voulez une preuve d’abord ? Contactez-moi pour un exemple public : un rapport complet plus un exploit vérifié en fork qui siphonne une pool réelle.


Envoyez-moi votre contrat (repo, fichiers ou adresse vérifiée) pour une estimation rapide et un devis.

Expertise:

Sécurisation du staking

Sécurité inter-chaînes

Outils:

Slither

Protégez vos ressources et vos informations.

Les services de crypto-monnaie se concentrent uniquement sur le développement et la programmation. Ne partagez jamais d'informations sensibles ou de codes privés avec d'autres personnes.