Cardanoの設計は、プルーフ・オブ・ステークプロトコルであるOuroborosファミリーから、オンチェーンのガバナンスモデルまで、査読済みの研究に基づいています。以下の論文と仕様は、開発時代ごとにまとめています。それらが全体として何をもたらすのかをわかりやすく知りたい場合は、Cardanoの仕組みをお読みください。
基盤
Byron
フェデレーテッドネットワークの基盤を構築し、ADAの購入・売却を可能にした期間。ネットワークはプルーフ・オブ・ステークのOuroborosコンセンサスプロトコルで稼働しました。
論文
分散化
Shelley
ネットワークの成長と発展が進み、より大きな分散化に焦点を当てた期間。このフェーズでは、ノードの大部分がネットワーク参加者によって運営されるようになり、セキュリティが強化され、より堅牢な環境が実現しました。
論文
- Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain
- Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
- Stake-Bleeding Attacks on Proof-of-Stake Blockchains
- Reward Sharing Schemes for Stake Pools
- Account Management in Proof of Stake Ledgers
- Flexible Formality: Practical Experience with Agile Formal Methods
- Coalition-Safe Equilibria with Virtual Payoffs
スマートコントラクト
Goguen
Goguen時代にはスマートコントラクト機能が導入され、分散型アプリケーションの構築が可能になり、多機能資産、ファンジブルトークン、非代替性トークン（NFT）規格がサポートされました。
論文
- The Extended UTXO Model
- UTXOma: UTXO with Multi-Asset Support
- Native Custom Tokens in the Extended UTXO Model
- Functional Blockchain Contracts
- Scripting Smart Contracts for Distributed Ledger Technology
- Marlowe: financial contracts on blockchain
- Marlowe: implementing and analysing financial contracts on blockchain
- Unraveling recursion: compiling an IR with recursion to System F
- System F in Agda, for fun and profit
- Translation Certification for Smart Contracts
スケーリング
Basho
最適化の時代。ネットワークのスケーラビリティと相互運用性を向上させます。Bashoではサイドチェーン（メインのCardanoチェーンと相互運用可能な新しいブロックチェーン）が導入され、ネットワークの機能を拡張する大きな可能性を持っています。
論文
ガバナンス
Voltaire
現在の開発時代は、Cardanoネットワークを自立型システムにすることを目指しています。Voltaireでは、ネットワーク参加者がステークと投票権を使ってブロックチェーンの将来の開発に影響を与えることができる投票・トレジャリーシステムが導入されています。