Plutus is a functional programming language for writing smart contracts on the Cardano blockchain.

It offers a strong type system, formal verification and the ability to use light clients, making it secure, predictable and efficient.