Dedaub
Dedaub est une société de sécurité Web3 qui audite des smart contracts et crée des logiciels d'analyse du code déjà exécuté sur Ethereum et d'autres chaînes EVM. Son décompilateur transforme le bytecode déployé en code lisible proche de Solidity, et sa Security Suite surveille les contrats et transactions pour détecter des failles et des schémas d'attaque.
Dedaub Ltd., immatriculée à Malte, a été fondée par Neville Grech, hacker éthique et auteur principal de l'outil d'analyse MadMax, et Yannis Smaragdakis, professeur ayant vingt ans de recherche en analyse de programmes. La plupart des membres de l'équipe sont titulaires d'un doctorat, et Dedaub a réalisé plus de 200 audits de sécurité pour des clients comme Chainlink, Ethereum Foundation, Coinbase et EigenLayer.
Audits des mises à jour de protocoles à la DeFi
Chaque audit Dedaub associe des outils automatisés à un examen manuel adversarial, pour tester les contrats contre des voies d'attaque observées en pratique. Pour Ethereum Foundation, Dedaub a examiné les propositions de protocole EIP-3074 et EIP-4788 et les travaux sur les Verkle Trees.
D'autres missions couvrent le fabricant de portefeuilles matériels Ledger, les contrats de gouvernance de Liquity V2, l'infrastructure de messagerie LayerZero sur EigenLayer et les contrats d'échange 0x Settler. Après le rapport, le client peut demander une vérification des corrections sous dix jours ouvrés, et la première est gratuite si elle porte uniquement sur les problèmes signalés.
Le décompilateur Dedaub
Le décompilateur Dedaub repose sur Gigahorse, un décompilateur de recherche issu des travaux universitaires des fondateurs. Il reconstruit les fonctions, le flux de contrôle, la structure de stockage et les changements d'état depuis le bytecode EVM, permettant aux analystes de lire des contrats dont le code source n'a jamais été publié.
Chaque contrat offre plusieurs niveaux de lecture, d'une vue Solidity reconstruite par IA et du code décompilé jusqu'au code à trois adresses, aux opcodes et au bytecode brut. Le décompilateur est gratuit pour un usage individuel sur app.dedaub.com, les organisations peuvent l'interroger par API, et il indexe des millions de contrats sur les principales chaînes EVM.
Security Suite: surveillance, Tok{In} et pare-feu
La Security Suite de Dedaub stocke les données onchain d'Ethereum, Arbitrum, Optimism, Polygon, Base, BNB Chain et Avalanche dans environ 340 tables indexées par chaîne. Trois moteurs alimentent cette base, un pour la décompilation, un pour la détection des vulnérabilités et un pour l'analyse des transactions.
Tok{In} utilise ces données pour signaler les jetons risqués aux portefeuilles, plateformes d'échange et agents IA de trading avant qu'ils interagissent avec un jeton. Le produit Monitor surveille les comportements anormaux dans l'activité des protocoles, et Firewall vérifie les transactions avant leur exécution, permettant à un protocole de grande valeur de bloquer des schémas d'exploitation connus.
Prochains événements fintech et finance en Europe
Dedaub Ltd. à Malte
Dedaub Ltd. est une société privée à responsabilité limitée de droit maltais, immatriculée sous le numéro C99606, et ses contrats d'audit suivent le droit maltais. La même île agrée les entreprises crypto à Malte sous MiCA par son régulateur financier, la MFSA.
Le nom Dedaub évoque l'ancienne technique de construction en clayonnage et torchis, où l'argile masque la structure tressée d'un mur. Retirer ce torchis permet d'exposer la structure, ce que fait la société avec le code compilé des smart contracts.
SEAL et le conseil de sécurité de zkSync
Dedaub a collaboré à la fondation de SEAL, la Security Alliance, un groupe de chercheurs éthiques qui aide les protocoles pendant les attaques. Dedaub est aussi membre du conseil de sécurité de zkSync, un réseau de couche 2 sur Ethereum.
L'équipe a signalé une faille de réentrance dans Universal Router d'Uniswap, corrigée par Uniswap. Des chercheurs de Dedaub et des universités d'Athènes et de Malte publient aussi des articles sur la décompilation et l'analyse de programmes.
Dedaub et Finance Loop
Les dépositaires, plateformes d'échange et gestionnaires d'actifs du réseau Finance Loop vérifient les contrats avec lesquels ils interagissent avant de déplacer les actifs de clients, souvent sans code source vérifié. Finance Loop réunit leurs équipes de sécurité et de risque pour comparer leurs méthodes de décompilation, de surveillance et d'audit de ces contrats.
Finance Loop est un réseau professionnel qui favorise l'usage institutionnel de technologies émergentes en finance, comme l'IA, la tokenisation, les stablecoins et la DeFi. Finance Loop aide ses membres à développer des compétences et des réseaux personnels dans ces domaines: Investissement & actifs numériques, Paiements & monnaie numérique, Infrastructure numérique & souveraineté et Risque & conformité.