卡尔达诺 Cardano

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

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

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