Solidity

Solidity is a statically typed, curly-bracket programming language for writing smart contracts that run on the Ethereum Virtual Machine, first previewed publicly at Devcon0 in November 2014. The open-source project began within the Ethereum Foundation, is part of the Argot Collective, and publishes its documentation and releases at soliditylang.org.

Events

• Solidity Summit at Devconnect Argentina 2025 (Buenos Aires, Argentina)

18 talks

• From EF to Argot: Solidity’s New Home - Lea Schmitt
• Preventing Hacks with Security Rules Written in Solidity - odysseas
• Introducing Core Solidity - Rodrigo Ribeiro
• Hardhat 3 is here: what's new and why you should use it - John Kane
• ethdebug format overview (2025) - gnidan
• The Death of the __gap: Custom Storage Layouts - Eric Marti Haynes
• Verifying LLM powered Code Transformations with Equivalence Checking - John Toman
• So, you think you can write an EVM decompiler? - Yannis Smaragdakis
• Formally Verifying YUL Level Static Analyses and Optimization with Coq
• How Type-Driven Development Can Turbocharge your Contract's Security - philogy
• SSA CFG Yul A new viaIR backend - Moritz Hoffmann
• All the things I wish (native) Solidity would let me do - Hadrien Croubois