Securing Celestia's Propagation Reactor: Audit Findings

Security analysis of Celestia's erasure coding and block propagation protocol.