Solidity Summit 2023
who it's for
Solidity developers, smart contract auditors, testing and tooling engineers, compiler engineers, language designers, EVM researchers, L2 protocol engineers
topics
EVM debug data format; via IR compilation pipeline; mutation testing for specs; Foundry differential fuzzing; Huff low-level EVM programming; symbolic testing for contracts; namespace storage with Verkle; Solidity storage slot diagrams; Slang compiler APIs; experimental Solidity features; MUD on-chain kernel; branching tree structured tests
| title | author | length |
|---|---|---|
| Welcome Note | Franziska Heintel | 10m |
Welcome note covers logistics and program specifics: use app.stream.org or devconnect/solidity-summit for the mobile agenda and live stream, join the ZK-gated… | ||
| Solidity in 2023 | Daniel Kirchner | 11m |
Team reshuffle and concrete feature work focus the update: a prototype experimental Solidity becomes the main development track while the stable compiler gets… | ||
| Decoding the EVM A New Debugging Format for Smart Contracts | gnidan | 17m |
Proposal for a standardized debugging format called Ethdebug that outputs compiler debug symbols so debuggers can map EVM bytecode back to high‑level types… | ||
| `via IR` speedrun | Nikola Matić | 16m |
Solidity compiler adds a ULE intermediate stage and ULE optimizer before existing EVM assembly and optimizer, producing bytecode with slightly lower gas on… | ||
| How Good Is Your Formal Specification Mutation Testing To The Rescue! | Chandrakana Nandi | 29m |
A tool called Gambit mutation generator automatically creates first-order mutants of Solidity programs by mutating the compiler JSON/AST, compiles and filters… | ||
| Test your tests The dos and don'ts of testing | Kurt Willis | 24m |
A catalogue of concrete testing failures and fixes: a proposed ERC‑721A optimization hides an ERC‑721A boundary bug (using >= instead of >), a wad conversion… | ||
| The Art of Huff | jtriley | 19m |
Huff is a low-level EVM language that claims measurable gas wins by compiling hand-crafted bytecode: an early assembler for elliptic-curve ops beat the… | ||
| Solidity's most common security pitfalls and its best safeguards | gmhacker | 20m |
Common Solidity failures are concrete: integer wraparound still appears via unchecked blocks, misordered multiplies/divides cause persistent precision loss… | ||
| Deep dive into L2 deployed contracts | Ren Crypto Fish | 16m |
Indexing via coat la.app shows unique contract deployments grow 9x since 2021 and by 2023 L2s match L1 in unique contracts and deployer counts, with >120,000… | ||
| Documenting Solidity with diagrams | Nick Addison | 13m |
An npm command‑line tool generates visual diagrams of Solidity code: class/hierarchy, squash diagrams that collapse inherited functions, and storage slot… | ||
| Namespace storage for now and for a verkle EVM | Hadrien Croubois | 17m |
Defines ERC-7201 as a deterministic derivation for namespace storage and describes an implementation shipped in OpenZeppelin v5 that computes storage slots by… | ||
| Differential Testing with Foundry | Anna Carroll | 26m |
Claims that the Foundry fuzzer plus the ffi cheat code can verify identical behavior between two implementations by running the same fuzzed inputs and… | ||
| Beyond Fuzzing Symbolic Testing in Practice | Daniel Karmacoma | 20m |
Shows how symbolic testing models transferFrom as a control‑flow dungeon, uses SMT solvers to explore every feasible path and produce concrete counterexamples… | ||
| Branching Tree Technique Writing structured Solidity tests | Paul Razvan Berg | 10m |
Branching Tree Technique presents a concrete specification format for function-level Solidity tests using tree files of given / when / it nodes, plus a… | ||
| The State of EVM Languages | Zee Eighty | 43m |
Four EVM language tracks compare concrete tradeoffs: a Rust-implemented language uses salsa for analysis, offers enums, pattern matching and a built-in test… | ||
| Slang Building Solidity Compiler APIs from a Declarative Language Specification | Omar Tawfik | 20m |
Slang provides a machine-readable Solidity spec and modular compiler APIs that cover over 70 Solidity versions (from 0.4.11 to 0.8.22), generated as EBNF… | ||
| How we built MUD An On chain Kernel for Complex Applications | Alvarius | 14m |
A lightweight onchain kernel called MUD implements a single bytes32 key + bytes value update event so one sync stack handles all state changes, uses… | ||
| Experimental Solidity | Daniel Kirchner | 37m |
Plan to replace much built-in compiler behavior with a lean core language plus a Solidity-written standard library, implemented by adding generics via a… | ||
| nothing matches | ||