Dedaub

Dedaub is a security solutions provider for smart contracts, including auditing services and automation-based software analyses. The company's technology offers the practical advantages of formal verification to enable one-time or continual security audits without the same effort needed for human audits. This, in turn, helps users secure their projects undergirded by smart contracts.

Founded in 2021 by Neville Grech and Yannis Smaragdakis, the company's founders and auditors have an academic research background with what the company calls a "hacker" mentality to help users secure code. Customers and partners of the company have included Ethereum Foundation, Chainlink, Ledger, Yearn, Nexus Mutual, DeFi Saver, Perpetual, and Immunefi.

Dedaub's Contract Library is a smart contract code explorer. It is continuously updated with deployed contracts on EVM-based blockchains and integrated with Dedaub's Watchdog service. The Contract Library includes the capability to browse contracts, transactions, and approvals; flag for annotations or discussions around contract codes; decode, which is a decompiler for EVM bytecode; and understand the smart contracts, including low-level code, similar code, and blockchain state information.

Dedaub's Watchdog is a continuous auditing service for smart contracts. The Watchdog service performs code audits, which examine hundreds of custom security analyses, recognizes deployments of new contracts associated with a protocol, maintains an explorer database optimized for security, monitors state and combines it with code information, and warns users when an inspection by a human auditor is needed and adapts to the requirements of the protocol based on that human input.