Available Attestation: Towards a Reorg-Resilient Solution for Ethereum Proof-of-Stake. - Mingfei Zhang; Rujia Li 001; Xueqian Lu; Sisi Duan (IACR Cryptol. ePrint Arch., 2025)