Solidity — контрактно-ориентированный язык, который компилируется в EVM байткод. Смарт-контракт — это программный модуль, задеплоенный в блокчейне: он сохраняет состояние и реагирует на внешние вызовы. Синтаксис Solidity задаёт: (1) версионирование компилятора через pragma, (2) структуру контракта (state variables, functions, events, modifiers), и (3) интерфейс между off-chain транзакциями и on-chain исполнением через сигнатуры функций.
Pragma и детерминизм компиляции