Constellation Erasure
RustReed-SolomonSolana
Explores the Reed–Solomon forward error correction pipeline that Solana's broadcast stage relies on — modelled on Agave's shredder.rs and extended toward the Constellation paper's PSlice/PShred architecture.
The encoder is parameterized: a 64-data / 192-parity configuration encodes to 256 shards over GF(2⁸), driven with randomized payloads rather than repetitive test data. Correctness is pinned at the recovery boundary in both directions — losing exactly 192 shards reconstructs the payload, losing 193 provably fails — and randomized loss fuzzing shuffles drop positions across iterations, round-trip verifying recovered bytes against the original.