Solidity Summit 2022
who it's for
Solidity developers, tool developers, compiler engineers, security researchers, smart contract auditors, DeFi engineers, protocol developers
topics
Yul IR compiler pipeline; Solidity optimizer techniques; Foundry testing and cheat codes; Mocking internal functions; Create2 counterfactual wallets; Fixed point math library; Sourcify source verification; Decompiler and rule-based analysis; Remix local-to-browser tooling; IntelliJ Solidity debugger; Exploit synthesis for DeFi; Truffle calldata and storage decoding
| title | author | length |
|---|---|---|
| Opening & Welcome | Franziska Heintel | 09m |
Welcome to the Solidity Summit’s very first in-person edition, with more than 100 attendees, an agenda at summit.soliditylang.org and a packed schedule… | ||
| Solidity in 2022: Recent and Planned Features | Christian Reitwiessner | 37m |
Solidity now ships a nearly-stable second compiler pipeline using Yul IR (bounties on bugs), an optimizer that runs on that IR, and concrete features… | ||
| Thanks for all the bugs! | Yannis Smaragdakis | 23m |
Runs a decompiler and a rule-based analysis engine that builds program concepts from thousands of logical rules, powering contract-library.com and a watchdog… | ||
| Mocking of Internal Functions in Solidity Unit Tests | Jason Smythe | 15m |
A code-generation pipeline externalises internal functions by emitting wrapper contracts that delegate calls to a mocker contract, letting smock intercept and… | ||
| Create 2 Patterns | Fred | 19m |
Create2 is presented as the primitive that enables counterfactual wallets and address-encoded metadata by using a factory, salt and init code so addresses are… | ||
| Foundry 101, a hands on introduction | odysseas | 37m |
Foundry installs in under a minute and uses forge for Solidity-native tests and cast as a CLI; tests are Solidity contracts with setup fixtures composed by… | ||
| dΞth Crypto | Leo Logvinov | 11m |
TypeChain, DethCode, eth‑sdk and earl provide type-safe bindings, in‑browser VSCode browsing, on‑the‑fly contract libraries and assertion helpers; DeskTools UI… | ||
| Remix Hybrid Tools | Aniket | 13m |
Remix provides a local-to-browser bridge that actually syncs files via remixd, starts project-specific WebSocket listeners and lets the IDE compile Truffle and… | ||
| Presenting @truffle:decoder | G, Nick D'Andrea | 20m |
Truffle’s decoder converts raw EVM bytes into structured, machine-readable values and decodes calldata events and storage, including custom errors and… | ||
| Human Friendly Contract Interactions w/ Sourcify | Kaan Uzdogan | 16m |
Sourcify verifies contracts by re‑compiling sources from the metadata.json and comparing deployed bytecode plus the embedded metadata hash (CBOR footer) to… | ||
| Hybrid Attack Synthesis for DeFi | Jon Stephens | 14m |
Veridise offers two open-source tools: Vanguard performs cross-chain, pattern-based static analysis (compiles to LVM), flags concrete issues like reentrancy… | ||
| PRBMath: A Smart Contract Library for Fixed Point Math | Paul Razvan Berg | 14m |
Library implements 18‑decimal fixed point math (log/exp/power/sqrt, mulDiv with improved rounding), uses Solidity 0.8 features and custom errors, and targets… | ||
| IntelliJ Solidity Debugger | Conor Svensson | 15m |
An alpha IntelliJ plugin implements breakpoints inside Solidity source, lets execution stop on constructor deployment, and provides step over/into/out plus… | ||
| What would Solidity look like if it was built today? | John Adler | 15m |
Proposes a Solidity redesign that pushes runtime checks to compile time: payable as an annotation enforced by the compiler, ecRecover returning a Result/unwrap… | ||
| Bootstrapping a Compiler with Yul | Grant Wuerker | 13m |
Claim: Yul lets Fe bootstrap a working compiler quickly by generating a Yul AST runtime that the Solidity compiler emits to bytecode. Implementation uses the… | ||
| The Solidity Optimizooooor | Hari Mulackal | 30m |
Claim: the Yul/IR pipeline applies optimizations the legacy bytecode pass cannot, turning a multiplication-by-two into a shift across basic blocks and hoisting… | ||
| Generating EVM Bytecode from Yul in the new via IR Pipeline | Daniel Kirch | 23m |
New via‑IR pipeline converts Yul to EVM by building a control‑flow graph, algorithmically assigning full stack layouts per block and operation, then emitting… | ||
| Underhanded Solidity Contest Winner Presentations | Tynan Richards, Santiago Palladino, Michael Zhu | 27m |
Three short demos show concrete exploits and fixes: one uses addmod/mulmod evaluated right-to-left and a bizarre events index args eval order to set a new… | ||
| nothing matches | ||