ethdebug format overview (2025)

on YouTube ↗14m

" summary

ethdebug is a concrete debugging data format now with a Solidity implementation behind an experimental flag since 0.8.29 and debugger work from Tenderly, Walnut and a symbolic runtime verifier. demos show a working reference pipeline: IR carries ethdebug annotations through optimization, a common‑subexpression example collapses three message.sender reads into one instruction and ethdebug represents the ambiguity with a pick combinator. format also encodes variable locations (eg storage slot 0) and aims for backwards compatibility and practical debugger integration.

AI-written summary · about

" chapters (6)

1. 0:00Ethdebug format intro
2. 1:51Purpose and progress
3. 3:37Ethdebug demo
4. 6:08Compiler optimizations in Ethdebug
5. 8:14Ethdebug in practice
6. 8:55Q&A

" related talks

• 14mWhat’s New inNick D'Andrea · SmartCon Developer 2021
• 25mDebugging with OP-TEESumit Garg · Linaro Connect Bangkok 2019
• 26mAll your Ether belong to us (Hacking Ethereum-based DApps)L. Q. Gonzales · OWASP 20th Anniversary 2021
• 16mWhat’s New inChee Chyuan Ang, Harith Kamarul · SmartCon Developer 2021
• 23mThanks for all the bugs!Yannis Smaragdakis · Solidity Summit 2022
• 01h 24mWriting, testing and debugging contracts using BuidlerPatricio Palladino · HackMoney 2020
• 31mElipmoc: advanced decompilation of Ethereum smart contractsYannis Smaragdakis, Neville Grech, Ilias Tsatiris, Sifis Lagouvardos · OOPSLA 2022
• 15mPrecise Static Modeling of Ethereum “Memory”Yannis Smaragdakis, Neville Grech, Ilias Tsatiris, Sifis Lagouvardos · OOPSLA 2020