Plutus is Cardano's smart contracts platform. We develop web3 solutions for Cardano in Haskell. Cardano is based on EUTXO, as is Bitcoin.