Cardano is a security focused blockchain that harnesses the latest research and engineering insights to build a platform suitable for the highest value applications. Built on a foundation of peer-reviewed research created through partnerships with the world’s foremost universities, Cardano aims to create a platform for decentralised applications and smart contracts that can be processed with a technique called formal verification. This allows logical proof of the correctness of code and smart contracts, for those applications where value is high and security is paramount. Cardano combines this with an innovative layered approach that separates accounting of value from all other smart contract and computation activity. This means functionality can be added to smart contract capabilities without changing the protocol responsible for Ada holdings.
More information can be found at: https://www.cardano.org/en/what-is-cardano/