HackMD
Data availability proof in Eth2
-
vedio at Crosslink 2019 Taipei by Vitalik
-
My article: Data Availability on Ethereum 2.0 Light Node
Light Clients
Concepts
- Light Clients and Proof of Stake by Vitalik in 2015
- The Stateless Client Concept by Vitalik in2017
Proposals
Methodology
Erasure Codes
- A note on data availability and erasure coding by Vitalik
- Fraud and Data Availability Proofs by Mustafa Al-Bassam, Alberto Sonnino, Vitalik Buterin
- Coded Merkle Tree: Solving Data Availability Attacks in Blockchains by Mingchao Yu, Saeid Sahraei, Songze Li, Salman Avestimehr, Sreeram Kannan, and Pramod Viswanath
- FRI as erasure code fraud proof by Vitalik
ZKPed Merkle Root (base on above Erasure Codes)
- Formalizing and improving eth2’s approach toward finalization of invalid shard blocks by Vitalik
- STARK-proving low-degree-ness of a data availability root: some analysis by Vitalik (using PLONK instead of STARK now)
Others (Non-Interactive)
- Towards on-chain non-interactive data availability proofs by Mustafa Al-Bassam
- On-Chain Non-Interactive Data Availability Proofs by John Adler
Shard Chains (Proof of custody)
- Proof of custody game design
- Vedio at EDCON 2019 by Justin Drake
Others
1.x
- Stateless Clients: A New Direction for Ethereum 1.x by Pipper
- Exploring the Current Client Protocol Architecture by rauljordan
L2 (rollups)
- My article:ZK Rollup & Optimistic Rollup
- Initial idea of rollups introduced by Barry WhiteHat
- ZK Rollup by Vitalik
- Optimistic Rollup by John Adler
similiar ideas:
