Minimmit: Fast Finality with Even Faster Blocks. - Brendan Kobayashi Chou; Andrew Lewis-Pye; Patrick O'Grady (CoRR, 2025)