Cardano is a highly secure blockchain written in Haskell. It allows formal verification of code, and easy extensibility through a layered architecture. Cardano's technology is built from peer-reviewed