https://chatgpt.com/canvas/shared/693bc241917c819192f5bae040e4a0db
Suppose we want to enable DA to support at least a GiB of blob data per block, and to limit each blob to be around 4 MiB, it means that each block should have around 250 blobs. Da nodes would receive 250 shares and their proof.
|
KZG |
Greyhound |
Blaze |
ZODA (512x512) |
ZODA (1024x1024) |
| Proof per share |
48 B |
43 kiB |
30 kiB |
0.93 kiB |
1.03 kiB |
| size of a share |
4 kiB |
4 kiB |
4 kiB |
32 kiB |
16 kiB |
| Commitment size |
48 B |
4464 B |
32 B |
64 B |
64 B |
| share + verification material (one sample) |
4 kiB |
52 kiB |
34 kiB |
33 kiB |
17 kiB |
| DA node required bandwidth for 250 blobs of 4 MiB per block |
**33.3 kiB/s |
|
|
|
|
| 267 kbit/s** |
**428 kiB/s |
|
|
|
|
| 3424 kbit/s** |
283.3 kiB/s 2267 kbit/s |
274.4 kiB/s 2195 kbit/s |
141.9 kiB/s 1135 kbit/s |
|
|
| Chunk sampling |
Possible |
|
Not Possible |
Not Possible |
Not Possible |
Shares for Candidates
- KZG: one column (set of RS evaluations across rows) + 1 pairing proof (48 B) per subnetwork.
- ZODA: one row + one column of the extended RS matrix + Merkle paths + linear (RS) consistency transcript (≈ 1 KiB overhead).
- Blaze: a handful of columns of the interleaved PRAA code + Merkle paths + one IOPP transcript (sumcheck + permutation) for the folded instance.
- Greyhound: a batch of $f(x)$evaluations at fixed points + one LaBRADOR proof binding them to the commitment.
Commitments for Candidates
- KZG: the 48 B commitment binds the whole polynomial.
- ZODA: the two Merkle roots (64 B) bind the extended matrix. One for rows + one for columns.
- Blaze: the 32 B Merkle root binds the PRAA-encoded/interleaved codeword.
- Greyhound: the 4.4 KB lattice commitment binds the polynomial data.
Proofs for Candidates
- KZG:
proof: single-point opening 48 B.
verification: pairing check.
- ZODA:
proof: merkle paths (row+column) + RS consistency
verification: hash checks + linear RS checks.
- Blaze:
proof: iopp transcript + a few merkle paths ~30–40 KiB.
verification: sumcheck + permutation + merkle checks.
- Greyhound:
proof: labrador (ajtai) ~42–50 KiB.
verification: laBRADOR lattice checks
Calculation Details
Blaze