Cardano, a third-generation decentralized proof-of stake blockchain platform, is home to the Ada cryptocurrency. Cardano is the first decentralized blockchain platform that was born out of a scientific approach and a philosophy of research.
Cardano has been built from scratch and is backed by a team of industry leaders in blockchain and cryptography. The platform places a high priority on transparency, scalability and sustainability. This is an open-source project that aims at delivering a resilient, inclusive and fair infrastructure for social and financial applications on a worldwide scale. Its primary goal is to provide reliable and secure financial services for those who currently do not have access.
Cardano was designed with security in mind. Haskell is a functional programming langauge. It is easier to test components in isolation when you use a functional programming language such as Haskell. Haskell's advanced features allow for the use of a wide range of powerful ways to ensure the correctness and quality of code. These include basing the implementation of your system on executable and formal specifications, extensive property based testing and running tests in simulated environments.
Cardano’s smart contract platform aims to provide more advanced features than previous protocols and will be a stable, secure platform for enterprise-level DApps. Cardano’s democratic governance system is being implemented on CIP-1694, which will allow the project to evolve and sustainably finance itself over time through a visionary Treasury system.