Ik review en auditeer je smart contracts

Ben je van plan een smart contract te lanceren en heb je een security-focused audit nodig die je kunt vertrouwen? Ik help je graag!

Ik ben een ervaren Solidity smart contract auditor met een sterke focus op geautomatiseerd testen, formele verificatie en diepgaande security analyse met behulp van industry-standard tools.

Wat ik aanbied:

• Fuzz testing & invariant testing met Foundry
• Formele verificatie met behulp van Certora Prover
• Statische analyse met Slither en Aderyn
• Handmatige review van logica, wiskunde, modifiers, toegangscontrole en randgevallen
• Gasoptimalisatie en controle op best practices
• Veiligheidscontrole voor upgradebare contracten
• Uitgebreide en duidelijke auditrapporten

Tools & technologieën:

• Foundry (forge, fuzzing, invariants, cheatcodes)
• Certora Prover (formele specificaties en assertions)
• Slither (statische analyse)
• Aderyn (semantische diffing & regressiecontroles)
• Solidity, EVM, OpenZeppelin libraries
• Foundry-gebaseerde projecten

Wat je krijgt:

• Een volledige security audit van je smart contracts
• PDF-rapport met kwetsbaarheden, ernst en aanbevelingen
• Validatie van fixes & optionele her-audit (voor Standaard & Premium pakketten)
• Inzichten in gasgebruik & optimalisatievoorstellen

Stuur me een bericht om je project te bespreken en een op maat gemaakte offerte te krijgen die aansluit bij jouw wensen.