Yannis Smaragdakis - How Does Static Analysis Secure Smart Contracts?

Timestamps:(00:39) What is Dedaub?(01:50) Entry into the space(04:50) Why is static analysis important in Web3? (07:25) How do vulnerability metrics differ between academia and industry?(09:39) Deep dive on Dedaub's Decompiler(15:11) What are the solidity level challenges?(18:35) How does static analysis work?(21:15) Upcoming product launches from Dedaub(24:47) What about security?(27:12) Outlook for 2026 and beyondDescription:In the second episode of Honest Majority, we speak with Yannis Smaragdakis about compilers, program analysis, and why software foundations matter for blockchain security. We discuss how compiler theory and static analysis translate into practical tooling, where today’s smart-contract tooling still falls short, and what it would take to make correctness and security guarantees part of the default developer workflow. The conversation explores the gap between academic techniques and production systems, and why closing it is critical for the next generation of blockchain infrastructure.