Quanto tempo ci vuole per far controllare i contratti intelligenti | DeFi

Quasi la metà degli smart contract nell'ecosistema Ethereum non sono stati verificati, portando a un numero crescente di hack. 

L'audit del contratto intelligente è generalmente l'ultimo passaggio nel viaggio di un contratto intelligente o per l'applicazione DeFi e viene spesso escluso. Considerando l'importanza degli smart contract nel mondo DeFi o in qualsiasi applicazione Blockchain, far controllare gli smart contract è una parte cruciale di un'applicazione. 

Che si tratti della rivoluzione finanziaria, della tokenizzazione delle risorse o dell'implementazione di qualsiasi caso d'uso su una piattaforma Blockchain, i contratti intelligenti sono imperativi. In sostanza, i contratti intelligenti sono solo poche righe di codice utilizzate per eseguire una condizione. Ad esempio, se stai prendendo un prestito da un'applicazione DeFi come Aave e Compound fornendo alcune garanzie e pagando un interesse definito sul prestito, tutte le condizioni sono definite attraverso una serie di contratti intelligenti. 

In questo scenario, ci sono più contratti intelligenti coinvolti nella creazione di un ecosistema digitale di interazioni finanziarie. Ciò che deve essere realizzato qui è che questi molteplici contratti intelligenti sono interdipendenti. Un piccolo bug in qualsiasi riga di codice da qualsiasi contratto intelligente può portare a risultati drastici. 

È un'idea sbagliata comune che un audit di smart contract richieda una quantità di tempo irragionevole. Questa è una visione generalizzata, mentre in realtà il tempo necessario per un audit di smart contract dipende dalla complessità del caso d'uso e da vari altri fattori. La mancanza di conoscenza del tempo di audit è uno dei motivi principali per cui molti contratti intelligenti rimangono non certificati.

Quanto tempo richiede l'audit degli smart contract

Di seguito sono indicate alcune possibilità in termini di tempo che può richiedere un audit di smart contract:

1. Il fattore più comune da considerare per un audit è la dimensione del progetto. Anche la complessità del progetto è importante, ma la dimensione del progetto diventa la caratteristica principale nel definire il tempo che occorrerà per un audit.

In generale, un semplice contratto intelligente come un contratto token per i token ERC20 può richiedere un paio di giorni, il che significa che il tempo di audit per tali contratti può richiedere dalle 24 alle 48 ore. Anche in questo caso dipende dalla complessità del progetto. Nel caso in cui un ERC20 venga utilizzato all'interno di una Dapp, l'audit può richiedere quasi un mese intero. 

Un altro tipo di contratto è il contratto di vendita di token. Questi possono essere definiti come contratti ERC20 avanzati con tokenomics definiti e funzionalità avanzate. Funzionalità come lo staking e lo scambio possono anche essere una parte di tali contratti. Un audit completo di tali contratti può richiedere da una a due settimane rispetto a un paio di giorni per un contratto ERC20 di base.

2. Come accennato in precedenza, il tempo per gli audit dipende anche dalla complessità del progetto. Ad esempio, se stai costruendo uno scambio decentralizzato o un mercato monetario decentralizzato come Aave, l'audit richiede un revisore esperto e una tempistica ampia per garantire che non ci siano backdoor. In tal caso, anche gli oracoli devono essere controllati insieme ai market maker automatizzati e ad altre parti dell'ecosistema.

In alcuni casi, la dipendenza di un protocollo o di smart contract da fattori esterni lo espone a enormi vulnerabilità che possono portare a perdite inimmaginabili. 

Pertanto, questo tipo di applicazione richiede un audit che richiede fino a 1 mese. 

Altri progetti che rientrano in questa categoria sono prestiti, prestiti, insurtech e derivati, tra gli altri. 

3. Anche i tipi di audit svolgono un ruolo importante nella definizione del tempo richiesto. Se il tuo contratto intelligente è stato codificato con le migliori linee guida di sviluppo e sei sicuro della sua integrità, un audit intermedio dovrebbe essere la tua scelta. 

In un audit intermedio, un esperto viene assegnato a un progetto per esaminare la struttura e analizzare le possibili vulnerabilità. Un audit intermedio aiuta a garantire che il progetto stia andando nella giusta direzione e che una possibile vulnerabilità che potrebbe modificare l'intera struttura dell'applicazione in una fase successiva venga identificata il prima possibile. Questo audit richiede generalmente un giorno per essere completato. 

Il prossimo è un controllo di sicurezza completo. Mentre è possibile eseguire un audit intermedio durante lo sviluppo dello smart contract, un audit di sicurezza completo entra in gioco dopo che l'applicazione è stata completata. Questo è generalmente l'ultimo passaggio richiesto prima che l'applicazione possa essere distribuita sulla rete principale. Se un'applicazione viene distribuita senza un controllo di sicurezza completo, c'è un'alta probabilità di bug e vulnerabilità della mainnet. Il tempo per un audit di sicurezza completo dipende dalla complessità del progetto come spiegato al punto 1. 

Il processo di completamento di un audit di smart contract può essere manuale o automatico. L'audit automatico prevede il test del codice del contratto intelligente rispetto a varie funzioni e strumenti di test predefiniti. Ciò fornisce la valutazione generica della vulnerabilità per il contratto intelligente. Tuttavia, questo tipo di audit non copre un'analisi approfondita del codice e di altre vulnerabilità come le backdoor. A tal fine, è necessario eseguire un audit manuale. Negli audit manuali, un team di esperti definisce alcuni casi di test personalizzati e ispeziona vari aspetti del codice. 

L'audit automatico può richiedere fino a un giorno per i contratti erc20 / bep20 mentre gli audit manuali di solito vanno dai 3 ai 5 giorni per i contratti erc20 / bep20 mentre per i protocolli complessi, il tempo dell'audit dipende dal codice. Per ottenere un controllo personalizzato della durata dell'audit per il tuo protocollo e del tipo di audit migliore, contatta gli esperti di QuillAudits per ottenere una consulenza gratuita.

Guardando il tempo richiesto per diversi tipi di contratti intelligenti e applicazioni DeFi, molte persone vanno sul mercato con i loro prodotti innovativi senza ottenere una verifica. La ragione principale alla base di questo è l'entusiasmo o la FOMO di qualcun altro che introduce un progetto simile sul mercato. Un altro motivo può essere costi aggiuntivi che una persona potrebbe non voler sostenere. 

Tuttavia, l'importanza di ottenere una verifica del contratto intelligente non può essere sottolineata abbastanza. Solo un po 'di tempo e denaro extra spesi per l'audit del contratto intelligente possono far risparmiare milioni agli utenti. 

Per fornire una prospettiva migliore sulla necessità di un audit di smart contract, di seguito sono indicati i principali hack DeFi che si sono verificati a causa di un semplice errore di non ottenere un audit.

I migliori hack DeFi

• L'attacco DAO

DAO è un'organizzazione autonoma decentralizzata che sta diventando il nuovo standard per la definizione del modello di governance di qualsiasi applicazione. In sostanza, il DAO prende le decisioni per l'applicazione tramite contratti intelligenti. Pertanto, i contratti intelligenti svolgono un ruolo cruciale in un tale ambiente. 

In uno di questi casi in cui la DAO era responsabile della democratizzazione del processo di finanziamento per il processo Ethereum, un hacker ha sfruttato la vulnerabilità della funzione di fallback nel contratto intelligente. Usando l'attacco di rientro, ha rubato 3.6 milioni dal protocollo. 

• L'attacco alla parità

Parity ha introdotto il concetto di firme multiple per autenticare il trasferimento di Ethers. Ha adattato questo processo attraverso una serie di contratti intelligenti che richiedevano più di una firma digitale per autenticare il trasferimento Ether. 

Non essendo stato controllato correttamente, un hacker è stato in grado di sfruttare la funzione di chiamata delegata e di fallback dello smart contract e rubare fino a 30 milioni di dollari in Ethers.

Conclusione

I suddetti hack sono solo la punta dell'iceberg. Ci sono stati innumerevoli hack nell'ecosistema DeFi. Con la crescita della DeFi, anche questi hack stanno crescendo in modo esponenziale. Uno dei motivi principali alla base di questo aumento sono gli smart contract non certificati o gli smart contract mal controllati. 

Ottenere il controllo del tuo contratto intelligente non garantisce la sua sicurezza, ma farlo controllare da un team esperto e riconosciuto nel settore come quello di Quillaudits è ciò che conta. 

Anche se richiede tempo e denaro, far verificare i tuoi contratti intelligenti da un team esperto può aiutarti a costruire un progetto sostenibile e raggiungere l'apice del suo successo.

Contatta QuillHash

Con una presenza nel settore di anni, QuillHash ha fornito soluzioni aziendali in tutto il mondo. QuillHash con un team di esperti è una società leader nello sviluppo di blockchain che fornisce varie soluzioni di settore tra cui l'impresa DeFi, se hai bisogno di assistenza per l'audit dei contratti intelligenti, sentiti libero di contattare i nostri esperti qui!

Segui QuillHash per ulteriori aggiornamenti

Twitter | LinkedIn | Facebook

Fonte: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/