Here we will support the legacy smart contract language Solidity for low assurance applications and develop a new language called Plutus for higher assurance applications requiring formal verification.
unfortunately can’t find if it’s 100% compatible