Dedaub
Dedaub ist ein Unternehmen für Web3-Sicherheit, das Smart Contracts prüft und Analysesoftware für Code baut, der bereits auf Ethereum und anderen EVM-Chains läuft. Der Decompiler übersetzt eingesetzten Bytecode zurück in lesbaren, Solidity-ähnlichen Code, und die Security Suite überwacht Verträge und Transaktionen auf Schwachstellen und Angriffsmuster.
Die Dedaub Ltd. ist in Malta eingetragen und wurde von Neville Grech gegründet, White-Hat-Hacker und Hauptautor des Analysewerkzeugs MadMax, und von Yannis Smaragdakis, Professor mit zwanzig Jahren Forschung in Programmanalyse. Die meisten im Team sind promoviert, und Dedaub hat mehr als 200 Sicherheitsaudits abgeschlossen, für Kunden wie Chainlink, die Ethereum Foundation, Coinbase und EigenLayer.
Audits von Protokoll-Upgrades bis DeFi
Jedes Audit von Dedaub verbindet automatische Werkzeuge mit einer Prüfung von Hand aus Angreifersicht, damit die Verträge gegen Angriffswege aus der Praxis getestet werden. Für die Ethereum Foundation hat Dedaub die Protokollvorschläge EIP-3074 und EIP-4788 sowie die Arbeit an Verkle Trees geprüft, bevor sie ins Mainnet kamen.
Weitere Aufträge betreffen den Hardware-Wallet-Hersteller Ledger, die Governance-Verträge von Liquity V2, die Messaging-Infrastruktur von LayerZero auf EigenLayer und die Swap-Verträge 0x Settler. Nach dem Bericht kann der Kunde innerhalb von zehn Werktagen eine Nachprüfung anfordern, und die erste ist kostenlos, wenn sie nur die gemeldeten Fehler betrifft.
Der Decompiler von Dedaub
Der Decompiler von Dedaub baut auf Gigahorse auf, einem Forschungs-Decompiler aus der akademischen Arbeit der Gründer. Er rekonstruiert aus EVM-Bytecode Funktionen, Kontrollfluss, Speicherbelegung und Zustandsänderungen, sodass Analysten auch Verträge lesen können, deren Quellcode nie veröffentlicht wurde.
Jeder Vertrag lässt sich auf mehreren Ebenen ansehen, von einer per KI rekonstruierten Solidity-Ansicht und dem dekompilierten Code bis hinunter zu Drei-Adress-Code, Opcodes und rohem Bytecode. Für Einzelpersonen ist der Decompiler auf app.dedaub.com kostenlos, Organisationen fragen ihn über eine API ab, und er indexiert Millionen von Verträgen auf den großen EVM-Chains.
Security Suite: Überwachung, Tok{In} und Firewall
Die Security Suite von Dedaub speichert On-Chain-Daten von Ethereum, Arbitrum, Optimism, Polygon, Base, BNB Chain und Avalanche in rund 340 indexierten Tabellen pro Chain. Drei Engines füllen diese Datenbank, eine für Dekompilierung, eine für das Erkennen von Schwachstellen und eine für die Analyse von Transaktionen.
Tok{In} nutzt diese Daten, um riskante Token für Wallets, Börsen und KI-Handelsagenten zu markieren, bevor diese mit einem Token interagieren. Das Produkt Monitor beobachtet Protokollaktivität auf auffälliges Verhalten, und die Firewall prüft Transaktionen vor der Ausführung, sodass ein Protokoll mit hohen Werten bekannte Angriffsmuster blockieren kann.
Kommende Fintech- und Finanz-Events in Europa
Dedaub Ltd. in Malta
Die Dedaub Ltd. ist eine Gesellschaft mit beschränkter Haftung nach maltesischem Recht mit der Firmennummer C99606, und ihre Audit-Verträge folgen maltesischem Recht. Über seine Finanzaufsicht MFSA lizenziert Malta auch Kryptofirmen in Malta nach MiCA.
Der Name Dedaub spielt auf die alte Bautechnik Wattle and Daub an, das Flechtwerk mit Lehmputz, bei dem der Lehm das geflochtene Gerüst einer Wand verdeckt. De-daubing heißt, diese Schicht abzutragen und das Gerüst freizulegen, und genau das macht die Firma mit kompiliertem Smart-Contract-Code.
SEAL und der Sicherheitsrat von zkSync
Dedaub hat SEAL mitgegründet, die Security Alliance, einen Zusammenschluss von White-Hat-Forschern, der Protokollen während laufender Angriffe hilft. Dedaub ist außerdem Mitglied im Sicherheitsrat von zkSync, einem Layer-2-Netz auf Ethereum.
Das Team hat einen Reentrancy-Fehler im Universal Router von Uniswap gemeldet, den Uniswap behoben hat. Forscher von Dedaub und den Universitäten Athen und Malta veröffentlichen zudem Arbeiten zu Dekompilierung und Programmanalyse.
Dedaub und Finance Loop
Verwahrer, Börsen und Asset Manager im Netzwerk von Finance Loop prüfen die Verträge, mit denen sie arbeiten, bevor sie Kundengelder bewegen, oft ohne verifizierten Quellcode. Finance Loop bringt ihre Sicherheits- und Risikoteams zusammen, damit sie vergleichen, wie sie solche Verträge dekompilieren, überwachen und prüfen.
Finance Loop ist ein Experten-Netzwerk und will die institutionelle Nutzung neuer Technologien im Finanzwesen voranbringen, wie KI, Tokenisierung, Stablecoins und DeFi. Finance Loop hilft seinen Mitgliedern, Kompetenzen und persönliche Netzwerke in diesen Bereichen aufzubauen: Investment und digitale Vermögenswerte, Zahlungsverkehr und digitales Geld, Digitale Infrastruktur und Souveränität und Risiko und Compliance.