Oct 27, 2026 UTC

We took our shielded pool and pushed formal verification from the written spec down to the bytecode on a testnet: what it bought, what it cost, and where it stopped.

This is a recommended update addressing the recent CVE-2026-111943 (eMudhra compromised keys)

More compilers now write ethdebug data, and tools have started to read it. This post shows what that data does today, how you can build on it, and what comes next for the ethdebug format.