Audit di sicurezza degli smart contract

Cerchi una revisione del codice degli smart contract conveniente?

. Realizzata da un team selezionato tra oltre 800 hacker white hat in tutto il mondo, sottoposta a revisione tra pari da revisori indipendenti e conforme ai requisiti normativi che devi soddisfare.

Richiedi una verifica

Marchi internazionali che si affidano ad 麻豆传媒AV

Statistiche che contano

麻豆传媒AV è stata pioniera nella selezione e nell’aggregazione di revisori di sicurezza d’élite per fornire alle grandi aziende e alle PMI un unico punto di accesso affidabile.

Dagli smart contract ai sistemi di intelligenza artificiale, le nostre valutazioni offrono una chiarezza e una profondità tecnica senza pari.

Pur essendo specializzati in pen-testing e revisioni del codice, la nostra rete è in grado di adattarsi a qualsiasi servizio IT o di sicurezza informatica di cui abbiate bisogno.

Ogni

tra le righe di codice individuiamo un problema

Ogni

320

tra le righe di codice abbiamo individuato un problema critico

A seguito delle nostre verifiche

trucchi fino ad oggi

Ha ottenuto più di

miliardi di euro di TVL.

In media

problemi riscontrati in ogni verifica

Oltre

Fidelizzazione dei clienti

credenziali

I nostri revisori sono certificati

Ogni ingegnere del nostro team possiede certificazioni riconosciute nel settore in materia di sicurezza offensiva e revisione del codice. Verifichiamo le credenziali, il percorso professionale e l’esperienza pratica di ciascuno prima che qualcuno possa mettere mano al vostro codice.

OSCE

Esperto certificato in sicurezza offensiva

OSWE

Esperto di sicurezza informatica offensiva nel web

OSCP

Professionista certificato in sicurezza offensiva

CRTO

Operatore certificato del Red Team

eCPPTv2

Tester di penetrazione professionista certificato

eCXD

Sviluppatore certificato di exploit

CRTP

Professionista certificato Red Team

Burp Suite

Professionista certificato Burp Suite

Cosa ci contraddistingue

Quattro paia di occhi sul medesimo codice. Sempre.

Un singolo revisore trova ciò che si aspetta. Quattro revisori indipendenti individuano ciò che individueranno gli hacker.

Ogni incarico di 麻豆传媒AV viene svolto da 3 o 4 ingegneri di sicurezza Web3 indipendenti che lavorano in parallelo sullo stesso ambito. Essi effettuano revisioni separate, documentano i risultati in modo indipendente e poi sottopongono il lavoro degli altri a una revisione tra pari prima che qualsiasi problema venga inserito nel vostro rapporto.

Il risultato: una copertura delle vulnerabilità notevolmente più ampia, un minor numero di falsi positivi e risultati convalidati da più di un revisore prima che raggiungano il vostro codice sorgente.

Revisione parallela indipendente: diversi modelli di minaccia, diverse intuizioni sugli attacchi, applicati allo stesso codice.

Risultati sottoposti a verifica incrociata: ogni voce viene confermata da almeno due revisori prima di essere inserita nel vostro rapporto o nella vostra fattura.

"Skin in the game ": i revisori ricevono un bonus per ogni risultato valido, il che premia l'approfondimento piuttosto che il semplice completamento di una lista di controllo.

cosa cacciamo

Le classi di vulnerabilità che hanno portato i protocolli alla ribalta.

Una panoramica non esaustiva di ciò che comprende ogni incarico relativo agli smart contract di 麻豆传媒AV, in linea con il Registro SWC, la Top 10 degli smart contract dell’OWASP e la nostra checklist interna per gli audit Web3.

SWC-107

Rientranza

Rientranza classica a funzione singola, multifunzionale e di sola lettura nelle chiamate esterne. Interazioni tra controlli ed effetti verificate.

SWC-105 / 106

Controllo degli accessi

Uso mancante o errato dei modificatori, inizializzatori non protetti, lacune nelle autorizzazioni basate sui ruoli, difetti nel trasferimento della proprietà.

A03 (OWASP SC)

Manipolazione di Oracle

Abuso dell’oracolo dei prezzi a pronti, selezione della finestra TWAP, coerenza tra più fonti, oscillazioni dei prezzi amplificate dai prestiti lampo.

A04 (OWASP SC)

Attacchi tramite prestiti lampo

Manipolazione a livello di blocchi atomici della contabilità interna, "prestito di voti" nell'ambito della governance, speculazioni sulla liquidazione con capitale preso in prestito.

MEV

MEv e front-running

Esposizione agli attacchi di tipo “sandwich”, attacchi alla liquidità JIT, dipendenza dall’ordinamento delle transazioni, verifiche dei modelli “commit-reveal”.

SWC-101

Aritmetica e contabilità

Perdita di precisione, direzione di arrotondamento, uso improprio dei blocchi non verificati, compatibilità dei token con commissioni sul trasferimento, inflazione di quote/asset.

SWC-128

Problemi relativi a DoS e gas

Cicli illimitati, attacchi DoS basati sul limite di gas, atti di molestia tramite rollback, modelli di pagamento "push-vs-pull", rischi di collisione di archiviazione.

SWC-117 / 121

Firma e riproduzione

Implementazione dell'EIP-712, gestione dei nonce, replay cross-chain, malleabilità delle firme, abuso delle funzioni "permit".

EIP-1967 / 1822

Rischi legati all'aggiornamento dei modelli

Collisioni tra slot di archiviazione proxy, implementazioni non inizializzate, conflitti tra selettori, concentrazione dell'autorità di aggiornamento.

Cosa ottieni

Risultati ottenuti e sicurezza post-audit “
”

I nostri rapporti trasparenti offrono un'analisi completa della sicurezza del vostro progetto, individuando ogni difetto e vulnerabilità rilevabile.

sicurezza dei costi intelligente

Audit di altissima qualità senza costi esorbitanti

Grazie a processi operativi snelli, evitiamo costi generali elevati, trasferendo a voi i risparmi ottenuti senza compromettere la qualità delle revisioni.

Prezzi trasparenti in base all'entità e alla complessità del progetto

Nessun costo nascosto: un preventivo chiaro entro 24 ore

Il 20% viene reinvestito nel tuo programma di bug bounty

Calcola il costo dei servizi di audit blockchain con il nostro strumento interattivo per il calcolo dei prezzi.

CALCOLATORE DEI PREZZI

come funziona

Processo di verifica della sicurezza

Fase 1

Invia

Invia il tuo codice e ricevi un preventivo per un audit entro 1 giorno.

Fase 2

Gruppo di revisori

Firma il contratto, versa la caparra e incontra il gruppo di revisori incaricato di esaminare il tuo stack.

Fase 3

Revisione del codice

La revisione avrà inizio entro 3 giorni. I revisori esamineranno il tuo codice in modo approfondito e individuale.

fase 4

Analisi del numero

I risultati vengono raccolti in un repository condiviso e sottoposti a revisione tra pari da parte degli altri revisori.

fase 5

Migliora il tuo codice

Siete invitati a risolvere i problemi sulla base delle raccomandazioni dei revisori.

passaggio 6

Revisione finale

Una volta applicate le correzioni, il codice viene sottoposto a una seconda revisione per verificare che il problema sia stato risolto.

passo 7