Token ERC-20: Sviluppo in Solidity e Audit di Sicurezza

Il nostro team si sta preparando a lanciare un token di utilità per un prodotto Web3 in fase iniziale, e stiamo cercando uno sviluppatore Solidity esperto che progetterà e rafforzerà il contratto intelligente principale molto prima del lancio della mainnet. L'ambito del lavoro include un ciclo completo per un token standard ERC-20: progettazione del contratto, implementazione accurata, copertura con un insieme completo di test e successiva verifica della sicurezza strutturata. Non abbiamo bisogno di un modello copiato gettato in un repository. Vogliamo un'implementazione ponderata in cui ogni funzione pubblica ed esterna ha uno scopo chiaro, il controllo degli accessi è impostato esplicitamente e il comportamento nei casi limite è confermato dai test, non accettato per fede.

Nella parte di sviluppo, scriverai un contratto per token in Solidity, implementerai meccanismi standard di trasferimento, approvazione e autorizzazione, e aggiungerai funzioni amministrative di cui il prodotto ha realmente bisogno: emissione gestita (mint), bruciatura opzionale (burn) e capacità di pausa in situazioni di emergenza. Tutte le azioni privilegiate devono essere protette con un corretto controllo degli accessi, e il contratto deve seguire le pratiche attuali per la disposizione della memoria, l'emissione di eventi e la gestione degli errori. La verifica della sicurezza è una parte altrettanto importante del compito: ci aspettiamo una revisione approfondita della reentrancy, overflow e underflow degli interi, debolezze nel controllo degli accessi, così come l'ispezione di chiamate esterne non sicure e logica che potrebbe consentire il prelievo o il blocco di fondi. I risultati devono essere compilati in un report chiaro con ogni problema classificato per gravità, descrizione dell'impatto e suggerimenti specifici per la risoluzione.

Il deliverable è un contratto pronto all'uso che supera una suite di test automatizzati con una copertura significativa di scenari normali e avversariali, un report di audit di sicurezza scritto e un breve riepilogo delle note di ottimizzazione del gas che indicano dove sono stati ridotti i costi e quali compromessi sono stati fatti. Quando rispondi, mostra per favore lavori precedenti pertinenti su contratti intelligenti.

— Contratto ERC-20 in Solidity con logica di trasferimento, approvazione, mint, burn e pausa sotto controllo degli accessi esplicito
— Suite di test automatizzati che coprono l'uso normale e casi limite avversariali
— Report di audit di sicurezza: reentrancy, overflow, controllo degli accessi, classificati per gravità con correzioni
— Note di ottimizzazione del gas con cifre prima/dopo e descrizione dei compromessi