La nostra soluzione iniziale è denominata Blockstead, un analizzatore di sicurezza per smart contract automatizzato. Blockstead utilizza diversi analizzatori statici open-source per smart contract per esaminare su larga scala i contratti intelligenti di Ethereum e BNB. Implementa anche un sistema esperto basato su regole per aggregare i risultati delle scansioni degli analizzatori in un unico punteggio di sicurezza spiegabile. Nella sua prima iterazione, Blockstead può rilevare fino al 40% delle classificazioni di debolezza dei contratti intelligenti di Ethereum (SWC); una copertura SWC molto più alta rispetto a qualsiasi analizzatore individuale. Blockstead fornisce anche analisi delle transazioni e visualizzazioni per assistere nel tracciamento dei fondi rubati. Con il suo quadro di analisi completo, Blockstead aiuta gli sviluppatori a evitare di distribuire contratti vulnerabili; gli investigatori di crimini informatici ad analizzare e tracciare i fondi rubati; e consente agli analisti di investimento di incorporare le vulnerabilità come rischi per la gestione del portafoglio DeFi.