Solana Shred Recovery: When Valid Shreds Form an Invalid Erasure Batch
A Solana erasure batch is 32 data and 32 coding shreds under one signed Merkle root, and every shred in it can verify while the batch is wrong. SIMD-0504 and Agave’s new “always recover” path make every validator rebuild every batch. In our model, the old code’s outcome depended on which shreds arrived; under the new one, none of 800,000 rebuilds of a malformed batch passed.