The aggregation of our principled exploration of the cryptocurrency space is two collections of protocols. Respectively, a provably secure proof of stake  based cryptocurrency called the Cardano Settlement Layer (CSL) and a set of protocols called the Cardano Computation Layer (CCL).
Our design emphasis is to accommodate the social aspects of cryptocurrencies, build in layers by separating the accounting of value from complex computation and address the needs of regulators within the scope of several immutable principles1. Furthermore, where it is sensible, we attempt to vet proposed protocols through peer review and check code against formal specifications.
1: See Regulation section for list.