---
# System prepended metadata

title: Data availability proof in Eth2
tags: [data availabilty, note, light client, ETH]

---

# Data availability proof in Eth2

- [vedio](https://www.youtube.com/watch?v=y3iqYqxtmqU) at Crosslink 2019 Taipei by Vitalik

- My article: [Data Availability on Ethereum 2.0 Light Node](https://medium.com/swlh/data-availability-on-ethereum-2-0-light-node-en-aec1ce6ac17c)

## Light Clients

#### Concepts
- [Light Clients and Proof of Stake](https://blog.ethereum.org/2015/01/10/light-clients-proof-stake/) by Vitalik in 2015
- [The Stateless Client Concept](https://ethresear.ch/t/the-stateless-client-concept/172) by Vitalik in2017

#### Proposals
- [Light Client Proposal](https://github.com/ethereum/eth2.0-specs/issues/459)
- [Inefficiencies in data availability proofs](https://github.com/ethereum/eth2.0-specs/issues/1194?fbclid=IwAR1cc2oplNp7Ba4VC8k60JXDKXd4LjD6RTRS--bK6RV7Gguw59D7YIapzrY)
- [Phase1 light client spec](https://github.com/ethereum/eth2.0-specs/blob/dev/specs/phase1/light-client-sync.md)

### Methodology
#### Erasure Codes
- [A note on data availability and erasure coding](https://github.com/ethereum/research/wiki/A-note-on-data-availability-and-erasure-coding) by Vitalik
- [Fraud and Data Availability Proofs](https://arxiv.org/abs/1809.09044) by Mustafa Al-Bassam, Alberto Sonnino, Vitalik Buterin
- [Coded Merkle Tree: Solving Data Availability Attacks in Blockchains](https://eprint.iacr.org/2019/1139.pdf) by Mingchao Yu, Saeid Sahraei, Songze Li, Salman Avestimehr, Sreeram Kannan, and Pramod Viswanath
- [FRI as erasure code fraud proof](https://ethresear.ch/t/fri-as-erasure-code-fraud-proof/6610) by Vitalik
  
#### ZKPed Merkle Root (base on above Erasure Codes)
- [Formalizing and improving eth2’s approach toward finalization of invalid shard blocks](https://ethresear.ch/t/formalizing-and-improving-eth2s-approach-toward-finalization-of-invalid-shard-blocks/6263) by Vitalik
  - [STARK-proving low-degree-ness of a data availability root: some analysis](https://ethresear.ch/t/stark-proving-low-degree-ness-of-a-data-availability-root-some-analysis/6214) by Vitalik (using PLONK instead of STARK now)

#### Others (Non-Interactive)
- [Towards on-chain non-interactive data availability proofs](https://ethresear.ch/t/towards-on-chain-non-interactive-data-availability-proofs/4602) by Mustafa Al-Bassam
- [On-Chain Non-Interactive Data Availability Proofs](https://ethresear.ch/t/on-chain-non-interactive-data-availability-proofs/5715) by John Adler

## Shard Chains (Proof of custody)
- [Proof of custody game design](https://github.com/ethereum/eth2.0-specs/issues/568)
- [Vedio](https://www.youtube.com/watch?v=UeomVJ-qrJA) at EDCON 2019 by Justin Drake


## Others 
### 1.x
- [Stateless Clients: A New Direction for Ethereum 1.x](https://medium.com/@pipermerriam/stateless-clients-a-new-direction-for-ethereum-1-x-e70d30dc27aa) by Pipper
- [Exploring the Current Client Protocol Architecture](https://github.com/prysmaticlabs/prysm/issues/122) by [rauljordan](https://github.com/rauljordan)

### L2 (rollups)
- My article:[ZK Rollup & Optimistic Rollup](https://medium.com/coinmonks/zk-rollup-optimistic-rollup-70c01295231b)
- Initial idea of [rollups](https://github.com/barryWhiteHat/roll_up) introduced by Barry WhiteHat
- [ZK Rollup](https://ethresear.ch/t/on-chain-scaling-to-potentially-500-tx-sec-through-mass-tx-validation/3477) by Vitalik
- [Optimistic Rollup](https://ethresear.ch/t/minimal-viable-merged-consensus/5617) by John Adler
similiar ideas:
  - [shadow chain](https://ethereum.github.io/blog/2014/09/17/scalability-part-1-building-top/)
  - [Delayed state execution in practice](https://ethresear.ch/t/delayed-state-execution-in-practice/1041/1) 


###### tags: `note` `data availabilty` `ETH` `light client`