A statically-typed, curly-braces smart contract language for EVM.

Solidity is an open-source smart contract language that allows developers to describe the logic of their contracts, which can then be converted into EVM bytecode. It aims to improve the daily life of smart contract developers by delivering better and more frictionless optimisation and backend experiences.
Simultaneously, it also aims to improve formal verifiability and make verification of the correctness of contracts easier and a more common practice in the Ethereum ecosystem.

Centralized systems in fields such as finance and banking have traditional processes that compromise the user’s trust, privacy, and security.

Smart contracts are programs that are executed within a decentralised peer-to-peer network, where no single entity has special authority over their execution. The terms of a transaction cannot be altered once deployed on the network.
Solidity allows users to write such smart contracts that can be run on the Ethereum blockchain in a trustless, transparent, and secure way. Solidity smart contracts can be further used to implement logic for decentralized apps/systems such as crowdfunding, voting, decentralized exchanges, etc.