Solidity is a high-level, statically-typed language designed specifically for writing smart contracts.