Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols. - Aaron Buchwald; Stephen Buttolph; Andrew Lewis-Pye; Patrick O'Grady; Kevin Sekniqi (CoRR, 2024)