Monad’s RaptorCast is actually pretty sweet. It’s hard to blast multi-megabyte block proposals from a leader to 1k+ validators in a few hundred milliseconds. They do some interesting rethinking of the transport protocol, the error-correction scheme, and the broadcast topology.