Solidity Summit 2025
who it's for
solidity compiler engineers, smart contract developers, formal verification engineers, blockchain tooling engineers, security auditors, EVM research engineers, developer experience engineers
topics
SSA CFG backend; Yul to EVM pipeline; ethdebug debugging format; source code verification workflows; Coq-verified Yul analyses; LLVM-based Solidity toolchain; Core Solidity type system; stack-too-deep mitigation; EVM decompiler techniques; solDB CLI debugger; LLM-assisted code transformation verification; custom storage layout patterns (remove __gap)
| title | author | length |
|---|---|---|
| Welcome Note | Vishwa Mehta | 08m |
Opening ceremony lays out logistics and agenda: a single-day advanced Solidity forum with a live stream link, session times (lunch 12:05–12:40, coffee… | ||
| From EF to Argot: Solidity’s New Home | Lea Schmitt | 10m |
Solidity moves out of the Ethereum Foundation into Argot, an independent nonprofit that now houses six tightly linked teams and secures three to four years of… | ||
| From Classic to Core Solidity | Kamil Sliwak | 15m |
Core Solidity aims to replace Classic Solidity while avoiding a decade‑long Python 3 style split by using four concrete mechanisms: syntactic sugar to make… | ||
| ethdebug format overview (2025) | gnidan | 14m |
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… | ||
| SSA CFG Yul A new viaIR backend | Moritz Hoffmann | 28m |
New SSA+CFG backend replaces the VIR codegen stage and targets big speedups in compiler invocation time after profiling 6,000 Sourcify contracts and finding… | ||
| How to solve stack too deep errors: a Yul to EVM pipeline | Alejandro Cerezo | 30m |
A Yul-to-EVM pipeline builds on SSA-CFG to compute top‑down stack layouts, emits a greedy code generator that inserts virtual get annotations when values… | ||
| Formally Verifying YUL Level Static Analyses and Optimization with Coq | Samir Genaim | 11m |
Provides a formally verified semantics for Yul-level (U-level) code in Coq, parametric by dialect with an almost-executable AVM dialect implementation and… | ||
| The State of Source Code Verification Closed, Painful, and Ready for Change | Kaan Uzdogan | 25m |
Claims that verification is a closed, unreproducible black box lead to concrete fixes: an open‑source, browser‑friendly verification library, a unified Remix… | ||
| soldb CLI tool for debugging Solidity and EVM rollups | Roman Mazur | 17m |
SolDB is a CLI debugger implementing the ethdebug spec with a VS Code adapter that attaches to Anvil or any RPC, replays logged transactions, sets breakpoints… | ||
| Verifying LLM powered Code Transformations with Equivalence Checking | John Toman | 25m |
Certora builds Concordance: feed complex Solidity (often inline assembly) to an LLM to generate a simplified implementation, then run equivalence checking via… | ||
| solx: an LLVM-based Solidity toolchain | Oleksandr Zarudnyi | 25m |
An LLVM-based Solidity compiler pipeline that reuses 95% of existing compiler code and delivers a working backend in roughly a year, translating ULE/EVM… | ||
| Introducing Core Solidity | Rodrigo Ribeiro | 38m |
Core Solidity rebuilds the type system and compiler pipeline to add generics and type classes, algebraic data types with pattern matching, type inference… | ||
| So, you think you can write an EVM decompiler? | Yannis Smaragdakis | 31m |
Decompilation engine Gigahorse runs since 2018 and powers a Dedaub security app with ~10,000 registered users, using static over-approximation with context… | ||
| Preventing Hacks with Security Rules Written in Solidity | odysseas | 16m |
Phylax Credible Layer uses Solidity to express runtime assertions as Foundry-style fork tests that run during each state transition and can parallelize because… | ||
| How Type-Driven Development Can Turbocharge your Contract's Security | philogy | 23m |
Argues that swapping primitive returns for explicit types stops common footguns: for example ECRecover’s sentinel address zero becomes a non-zero address type… | ||
| All the things I wish (native) Solidity would let me do | Hadrien Croubois | 18m |
OpenZeppelin’s v5.5 library contains 400 assembly blocks because lack of generics forces procedural codegen and proxies rely on inline assembly. Low-level… | ||
| The Death of the __gap: Custom Storage Layouts | Eric Marti Haynes | 24m |
Shows how hardcoded storage gap (50 slots) patterns break upgrades with concrete examples (worms/insects swapped, Audience lost $6M in 2022 after a bad… | ||
| Hardhat 3 is here: what's new and why you should use it | John Kane | 27m |
Hardhat 3 is production-ready beta that adds Solidity Tests for fast on-EVM unit checks, explicit multi-network connections with L2-aware chainType typing, and… | ||
| Solar Invictus | DaniPopes | 25m |
Solar is a new Solidity compiler written in Rust that replaces the C toolchain front end and focuses on performance with data‑oriented design, multiple IR… | ||
| nothing matches | ||