The Cardano smart contracts are created using Haskell, which is the fundamental programming language for Plutus, giving high assurance codes for the Cardano smart contracts.
Click here for more details: https://www.leewayhertz.com/smart-contracts-on-cardano/