Ik auditeer je smart contracts op beveiligingslekken

Ik ben een security researcher voor smart contracts en actieve bug bounty hunter met echte, openbaar gemaakte kwetsbaarheden in protocollen zoals Wormhole, Aurora en Near Protocol. Ik kan mijn werk voor deze bedrijven niet publiceren omdat ze onder NDA staan. Ik analyseer hoe aanvallers denken, niet alleen hoe checklists lezen. Jouw smart contracts bevatten echt geld, en één over het hoofd geziene bug kan dat in minuten leegmaken. Ik vind het voordat een aanvaller dat doet.

Hoe ik werk:

- Ik begin met system modeling van het protocol om toestanden, assets en waardestromen in kaart te brengen.

- Grondige handmatige code review om alle invarianten te identificeren die nooit mogen breken en voor andere subtiele kwetsbaarheden.

- Geavanceerd fuzzing en invariant testing

- Adversarial sequencing en race conditions

- Differential en formele verificatie

- Proof of concept

Wat je krijgt:

- Een professioneel rapport: elke bevinding met ernst, impact en een concrete fix

- Proof of concept exploits voor alle issues (Standard & Premium)

- Hercontrole van je fixes (Standard & Premium)

Weet je niet welk pakket het beste bij je past? Stuur me je repo, ik bevestig de scope voordat je bestelt. Voor grote of complexe protocollen (leningen, bridges, cross chain), stuur me een bericht voor een aangepaste offerte.