Is your project safe from hackers?
Dedaub offers significant security expertise, combined with leading program analysis technology to secure your blockchain projects. Our technology offers most of the practical advantages of formal verification, without many of its burdens, enabling more thorough security audits.
Proud to receive the generous, first-ever R bounty / Founders bounty "for disclosing a vulnerability worth over $1M".
Reported critical vulnerability to Dinngo/DeFlast team leading to their rescue of all threatened funds
DeFi Saver Bounty
Reported critical vulnerability to DeFi Saver team which would have allowed hackers to steal over $3.5m. Vulnerability was originally flagged by one of our tools.
We can help you deploy smart contracts with confidence.
Set apart by top research, proprietary vulnerability analysis technology, and world-leading software security expertise.
Blockchain Development Consulting
Consulting services for smart contract development, with emphasis on evolution, recovery, and remediation support. Let us enhance your contract with forward-looking functionality.