Cardano 由以太坊联合创始人之一 Charles Hoskinson 发起,2017 年上线。它最鲜明的特点是开发方式:几乎每项设计都先写成经过同行评审的学术论文,再实现到代码里,因此进度比多数项目慢得多,但形式化验证程度更高。

它的 Ouroboros 是第一个有严格安全性证明的权益证明协议,账本采用扩展的 UTXO 模型,智能合约用 Plutus 语言编写。

这套路线的争议一直存在:支持者认为严谨的方法论能避免重大事故,批评者认为它把太多时间花在论文上,导致生态应用和用户规模长期落后于同期公链。