what's Dowsers?

Dowsers is a blockchain cybersecurity company offering automated formal verification for smart contracts. A team of formal verification experts, AI specialists, and cybersecurity professionals—with experience securing critical systems like metro lines and aviation—applies mathematical proofs and AI to instantly detect vulnerabilities, bugs, and risks in smart contract code. Their platform provides detailed reports through static analysis (code review without execution) and dynamic analysis (simulating attacks and monitoring behavior), ensuring functional correctness and compliance beyond traditional audits. Serving DeFi protocols and Web3 projects, Dowsers bridges high-stakes industrial security techniques to blockchain, preventing exploits that erode trust and cause billions in losses. Core values of excellence, collaboration, and innovation drive their mission to build mathematical trust at scale across smart contracts and blockchains.

Dowsers sponsors Rekt Security Summit (Mar 27, Cannes); co-founder keynotes, Anès on panel.