Farò audit di sicurezza di smart contract solidity rust

AUDITORE DI SICUREZZA SMART CONTRACT

Stai distribuendo contratti con soldi veri in gioco? Sono un ingegnere blockchain senior con 15 anni di esperienza in sistemi distribuiti e 4 anni di competenza in sicurezza Web3, specializzato in EVM Solidity e Solana Rust Anchor. Ho scoperto e risolto oltre 25 vulnerabilità critiche, tra cui attacchi reentrancy, overflow di interi e bypass di permessi, evitando perdite di milioni.

METODOLOGIA

1. Analisi statica automatizzata con Slither e Mythril

2. Revisione manuale del codice riga per riga con ispezione esperta

3. Fuzz testing con il framework Foundry Bankrun

4. Ottimizzazione del gas tramite layout di storage e operazioni batch

5. Revisione dell'architettura per individuare difetti di progettazione a livello di protocollo

6. Simulazione di attacchi, inclusa manipolazione di oracoli MEV con flash loan

COSA OTTIENI

- Rapporto di audit con severità Critical, High, Medium, Low

- Descrizioni delle vulnerabilità riga per riga con riferimenti al codice

- Patch di correzione del codice pronte all'uso per il deploy immediato

- Raccomandazioni per ottimizzare il gas e ridurre i costi

- Re-audit dopo aver applicato le correzioni per verificare la correttezza

PRIMA DI ORDINARE

Contattami prima per valutare la complessità e suggerire il pacchetto più adatto. Mettiamo in sicurezza il tuo codice prima che vada live.