Effettuerò l'audit di solidity smart contract per vulnerabilità di sicurezza

Offro revisione manuale della sicurezza e analisi del codice per Solidity smart contracts, concentrandomi su problemi reali e sfruttabili piuttosto che su controlli superficiali.

Cosa verifico:

Rischi di controllo accessi & escalation dei privilegi

Logica di contabilità / ledger e violazioni di invarianti

Reentrancy, errori di arrotondamento e incoerenze di stato

Meccaniche del vault (ERC-4626 / ERC-7540) e manipolazione del prezzo delle azioni

Disallineamenti tra logica di business e specifiche documentate

Il mio processo è metodico: leggo l'intero contratto e tutta la documentazione disponibile, mappo gli invarianti attesi, quindi verifico ogni funzione che cambia stato rispetto a essi. Ogni rapporto include una descrizione chiara della vulnerabilità, una valutazione dell'impatto e una raccomandazione concreta di soluzione.

Sto costruendo attivamente il mio track record attraverso contest di audit (Sherlock) e accetto lavori di revisione indipendente con la stessa rigorosità.

Inviami il tuo contratto o un link al repository, e ti risponderò con un scope e una timeline prima di iniziare.