Posts and discussions

data availibility | ethresear.ch

Data Availability Sampling Phase 1 Proposal

EIP-7594: From 4844 to Danksharding: a path to scaling Ethereum DA

Data Availability | L2BEAT

2D data availability with Kate commitments

A note on data availability and erasure coding

ethereum/EIPs: eip-4844.md

Implementations and underlying libraries

ethereum/consensus-specs: specs/fulu/polynomial-commitments-sampling.md

ethereum/c-kzg-4844: A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594.

Layr-Labs/eigenda: Secure, high-throughput, and decentralized Data Availability. (docs)

protolambda/go-kzg: FFT, data-recovery and KZG commitments, in Go.

availproject/plonk

crate-crypto

Data availability sampling, Compute/verify proofs

Data availability encoding

A Universal Verification Equation for Data Availability Sampling

A Mathematical Theory of Danksharding

Fast amortized Kate proofs (iacr)

Multiplying a Toeplitz matrix by a vector

KZG polynomial commitments

BLS12-381 For The Rest Of Us

KZG polynomial commitments

PCS multiproofs using random evaluation

    Coeff = F^(-1) * P * Y // compute Coeff from Y
<=> F * Coeff = P * Y
<=> Y = P * F * Coeff // Y[i] = Coeff(w^rbo(i))

theorems:
    P^2 = I // bit reversal permutation matrix
    F = [w^(ij)] where i, j = 0, 1, ..., N-1
    F^(-1) = N^(-1) * [w^(-ij)] where i, j = 0, 1, ..., N-1