Cardano is developed using evidence-based methods: a novel combination of formal methods,
which are normally found in critical high-stake applications, and an agile approach, which helps the project remain adaptable and responsive to emerging requirements and new innovations. To support global applications, systems, and solutions, we believe security assurance is not a choice: it’s a requirement.
Our protocol implementations and platform integrations are first researched, challenged, and mathematically modelled and tested before they are specified. These specifications then inform development which, in turn, is independently audited. The result is a codebase offering an unrivalled level of assurance.