Thank you for joining Solidity Summit 2023!
Solidity Summit 2023 was part of the Devconnect week and took place on Thursday, November 16, 2023. With roughly 300 participants, the event was well attended.
The day was packed with 15+ sessions on:
- Solidity internals and tips & tricks
- Solidity tooling
- Smart contract testing & security best practices
- EVM Languages and mechanisms ... and more!
More about Solidity Summit
The Solidity Summit is a collaborative event focusing on the future of Solidity, featuring discussions and talks on Solidity, Yul, language design, security, tooling, and more.
During the event, you can expect to:
- Get up to speed with the latest language proposals and new features.
- Hear updates from Solidity tooling and security experts.
- Learn from Solidity power users.
We aim to have useful discussions that result in language improvement proposals and, ultimately in actual implementations. Furthermore, we want to foster communication between teams working on similar topics and identify needs for the smart contract ecosystem of Ethereum.
The Solidity Summit is a one-day forum for the Solidity ecosystem. It is for all people involved and interested in the Solidity language and the tooling around it.
Who is Solidity Summit for?
The Solidity Summit focuses on advanced Solidity users and other stakeholders of the Solidity ecosystem, such as tool builders, auditors, and security researchers.
Solidity Language Shapers
Experts in Solidity, or other EVM smart contract languages, can share updates, or present improvement ideas and their thoughts.
Tooling Builders & Auditors
IDE developers, debuggers, analysis tools, or testing frameworks can use this occasion to share updates with the audience.
Seasoned Solidity users can share their finest Solidity hacks, tips, and comments!
2023 Event Schedule
You can find the agenda for Solidity Summit 2023 below.
|9:00||+++ Registrations Open +++|
|10:00||Opening & Welcome Note||Franziska Heintel (Solidity team, EF)|
|10:10||Solidity in 2023: Recent and Planned Features||Daniel Kirchner (Solidity team, EF)|
|10:25||Decoding the EVM: A New Debugging Format for Smart Contracts||gnidan (Ethereum Foundation)|
|10:55||via-IR speedrun||Nikola Matić (Solidity team, EF)|
|11:10||How Good Is Your Formal Specification? Mutation Testing To The Rescue!||Chandrakana Nandi (Certora)|
|11:40||Test your tests: The dos and don'ts of testing||Kurt Willis (Trail of Bits)|
|12:10||The Art of Huff||jtriley (Independent Huff Contributor)|
|12:40||+++ Lunch Break +++|
|13:25||Solidity's most common security pitfalls (and its best safeguards)||gmhacker (Immunefi)|
|13:55||Deep dive into L2 deployed contracts||Ren Crypto Fish (Electric Capital)|
|14:10||Documenting Solidity with diagrams||Nick Addison (sol2uml, Origin Protocol)|
|14:25||Namespace storage (for now and for a verkle EVM)||Hadrien Croubois (OpenZepplin)|
|14:40||Differential Fuzzing with Foundry for Gas Optimization||Anna Carroll (Independent)|
|15:10||Beyond Fuzzing: Symbolic Testing in Practice||Daniel "karmacoma" Reynaud (a16z crypto)|
|15:40||+++ Short Break +++|
|15:55||Branching Tree Technique: Writing structured Solidity tests||Paul Razvan Berg (Sablier)|
|16:10||The State of EVM Languages: Panel Discussion||Harikrishnan (Spearbit), maddiaa (Aztec, Huff contributor), Grant (Fe), zee eighty (Vyper), jtriley (Edge)|
|16:50||Slang: Building Solidity Compiler APIs from a Declarative Language Specification||Omar Tawfik (Nomic Foundation)|
|17:20||How we built MUD: An onchain kernel for complex applications on Ethereum||Alvarius (Lattice Labs)|
|17:50||Experimental Solidity||Daniel Kirchner (Solidity team, EF)|
|18:20||Thank you note||Vishwa Mehta (Solidity team, EF)|
|18:30||+++ End of Conference +++|
Solidity Summit 2023 Impressions
See you soon!
Feel free to send feedback and ideas for the upcoming summits our way (solidity-summit[at]ethereum.org) and see you all soon at the next Solidity Summit!