Unsere anfängliche Lösung trägt den Codenamen Blockstead, ein automatisierter Sicherheitsanalysator für Smart Contracts. Blockstead nutzt mehrere Open-Source-Analysetools für statische Analysen von Smart Contracts, um Ethereum- und BNB-Smart Contracts in großem Maßstab zu scannen. Es implementiert auch ein regelbasiertes Expertensystem, um Scan-Ergebnisse von Analysetools in eine erklärbare Sicherheitsbewertung zu aggregieren. In seiner ersten Iteration kann Blockstead bis zu 40% der Schwachstellenklassifikationen (SWCs) von Ethereum-Smart Contracts erkennen; eine viel höhere SWC-Abdeckung als jedes einzelne Analysetool. Blockstead bietet auch Transaktionsanalysen und Visualisierungen, um bei der Nachverfolgung gestohlener Gelder zu helfen. Mit seinem umfassenden Analyse-Framework unterstützt Blockstead Entwickler dabei, die Bereitstellung von anfälligen Verträgen zu vermeiden; E-Kriminalitäts-Ermittler bei der Analyse und Nachverfolgung gestohlener Gelder; und ermöglicht es Investmentanalysten, Schwachstellen als Risiken für das DeFi-Portfoliomanagement zu berücksichtigen.