[EPIC] Failure and Recovery cases for block with withheld data

[musalbas]

Background

Original Message:

We should do network tests for cases like if a block producer withholds some of the block:
(1) will full nodes reconstruct it in case the block is recoverable, and how long will it take?
(2) after the block is reconstructed - what happens to light clients that have hanging DAS queries?
(3) if the erasure code is valid, will a bad coding fraud proof be generated and how long?

Introduction

This epic contains creating/implementation/reporting of the test-plan(or plans)

Docs/Test-Plan creation

TBA

Test-Plan implementation

• testground/tests: block reconstruction for 32/64 square size blocks #96
• Big Network tests for Sq Sz 128/256
• DASing from a Full Node that has reconstructed a block

Test-Plan Execution & Reporting

• tests/testground: block reconstruction 32/64 reporting #126
• Big Network

Notes

• [EPIC] #001 Big Blocks Implementation #77
• [EPIC] Benchmark Test-Plan for Bridge/Full nodes serving shares to LNs #83

[liamsi]

(1) will full nodes reconstruct it in case the block is recoverable, and how long will it take?

I think it is worth to consider worst-case scenarios here were essentially there are only (and theoretically sufficiently many) light nodes that all sampled successfully and a full node that is trying to recover the full block an is only connected to a subset of these light nodes (but not other full nodes that already have and serve o the data). This would test the assumption that bitswap is sufficient for this case.

[musalbas]

Yes, that's a good idea. Formulas for computing the minimum light nodes required are in the fraud proofs paper, and I also have code for it.