Revisionerò e auditerò i tuoi smart contracts
Sviluppatore di Smart Contract e Web3, Solidity, dApps, integrazione wallet
Informazioni su questo servizio
Stai lanciando un contratto intelligente e hai bisogno di una verifica di sicurezza affidabile? Sono qui per aiutarti!
Sono un esperto auditor di smart contract Solidity con un forte focus su test automatizzati, verifica formale e analisi approfondite della sicurezza usando strumenti di settore.
Cosa offro:
- Fuzz testing e test di invarianti con Foundry
- Verifica formale usando Certora Prover
- Analisi statica con Slither e Aderyn
- Revisione manuale di logica, matematica, modificatori, controllo accessi e casi limite
- Ottimizzazione del gas e controlli delle best practice
- Revisione della sicurezza di contratti upgradeabili
- Relazioni di verifica complete e chiare
Strumenti & tecnologie:
- Foundry (forge, fuzzing, invariants, cheatcodes)
- Certora Prover (specifiche formali e asserzioni)
- Slither (analisi statica)
- Aderyn (diff semantico e controlli di regressione)
- Solidity, EVM, librerie OpenZeppelin
- Progetti basati su Foundry
Cosa ricevi:
- Una verifica completa della sicurezza dei tuoi smart contract
- Rapporto PDF con vulnerabilità, severità e raccomandazioni
- Validazione delle correzioni e re-verifica opzionale (per pacchetti Standard & Premium)
- Approfondimenti sull'uso del gas e suggerimenti per l'ottimizzazione
Contattami per discutere del tuo progetto e ricevere un preventivo personalizzato su misura per le tue esigenze.
Strumenti:
MythX
•
Slither
•
Etherscan
Proteggi le tue risorse e le tue informazioni.
I servizi di criptovaluta si concentrano solo sullo sviluppo e la programmazione. Non condividere mai dati sensibili o chiavi private con altri.
Il mio portfolio
Altri servizi della categoria Sviluppo e soluzioni per blockchain offerti da me
FAQ
Traduzione automatica.
Cosa devo fornire per la verifica?
Repository Github con readme dettagliato. Il codice deve seguire gli standard natspec
Cosa include il rapporto di audit?
Il rapporto include vulnerabilità identificate, i loro livelli di gravità (basso/media/alto/critico), suggerimenti per le correzioni, consigli di ottimizzazione del gas e prove di test rilevanti (per risultati fuzz/verifica formale).
Offri re-audit dopo aver applicato le correzioni?
Sì! Tutti i pacchetti Standard e Premium includono un ciclo di re-audit gratuito dopo l'applicazione delle correzioni. Validarò le modifiche e aggiornerò il rapporto di conseguenza.

