Plutus

Cardano's smart contract platform using Haskell-based languages for writing secure, formally verifiable on-chain logic and validators.