reading_material.md

Casper

權益證明設計

Casper paper

• research/casper_paper.md at master · ethereum/research · GitHub

背景知識

Proof of Stake FAQ (背景知識介紹)

• Proof of Stake FAQ · ethereum/wiki Wiki · GitHub

A Proof of Stake Design Philosophy (設計哲學)

• A Proof of Stake Design Philosophy – Vitalik Buterin – Medium
• 一种权益证明设计哲学 » 论坛 » EthFans | 以太坊爱好者

Parametrizing Casper: the decentralization/finality time/overhead tradeoff (參數取捨)

• Parametrizing Casper: the decentralization/finality time/overhead tradeoff

Minimal Slashing Conditions (惡意驗證者的處罰條件)

• Minimal Slashing Conditions – Vitalik Buterin – Medium
• Vitalik Buterin：以太坊Casper惩罚条件的最小化

Safety Under Dynamic Validator Sets (動態驗證者的安全)

• Safety Under Dynamic Validator Sets – Vitalik Buterin – Medium

griefing factors 分析

• http://vitalik.ca/files/extortion_griefing_bounds.pdf

Yoichi 的形式化驗證分析

• Formal methods on some PoS stuff – Yoichi Hirai – Medium
• Formal methods on another Casper – Yoichi Hirai – Medium
• A mechanized safety proof for PoS with dynamic validators
• Fixing safety proof on dynamic validator PoS – Yoichi Hirai – Medium

實作

GitHub

• GitHub - ethereum/casper: Casper contract, daemon and related software and tests

Version 1

• Casper Version 1 Implementation Guide · ethereum/research Wiki · GitHub

Casper 起源歷史

The History of Casper

1. The History of Casper — Part 1 – Vlad Zamfir – Medium
2. The History of Casper — Chapter 2 – Vlad Zamfir – Medium
3. The History of Casper — Chapter 3 – Vlad Zamfir – Medium
4. The History of Casper — Chapter 4 – Vlad Zamfir – Medium
5. The History of Casper — Chapter 5 – Vlad Zamfir – Medium

機制起源歷史

1. Casper机制的历史起源—第一篇 » 论坛 » EthFans | 以太坊爱好者
2. Casper机制的历史起源—第二篇 » 论坛 » EthFans | 以太坊爱好者
3. Casper机制的历史起源-第三篇 » 论坛 » EthFans | 以太坊爱好者
4. Casper的历史起源—第四篇 » 论坛 » EthFans | 以太坊爱好者

Sharding

Basic Sharding

• http://vitalik.ca/files/basic_sharding.html

Sharding FAQ

• Sharding FAQ · ethereum/wiki Wiki · GitHub

EIP #648

• Easy parallelizability · Issue #648 · ethereum/EIPs · GitHub

Ethereum 背景知識

文章相關連結

• Ethereum Academic Intro Meta-Reading List - HackMD