Solidity

The dominant programming language for writing smart contracts on Ethereum and EVM-compatible chains. Statically typed, object-oriented, and influenced by C++/JavaScript/Python. Compiles down to EVM bytecode. Solidity 0.8.0 (December 2020) made integer overflow checks default, eliminating a major bug class. Reading existing Solidity contracts is the foundation of any DeFi security review.