Smart contract programming language for the EVM, with static typing, ABI compatibility, and a large ecosystem of tooling and libraries.