Lifefin: Escaping Mempool Explosions in DAG-based BFT. - Jianting Zhang; Sen Yang 011; Alberto Sonnino; Sebastián Loza; Aniket Kate (CoRR, 2025)