Dear @investing, Smart contracts implemented with Turing-complete programming languages ​​are arguably the main innovation introduced by Ethereum. Ethereum smart contracts have been questioned. Buterin confirmed that Ethereum will eventually introduce formal verification for smart contracts and a new Python-like smart-contract programming language - dubbed "Viper" - Ethereum applications.