Proofs of Proof-of-Stake with Sublinear Complexity. - Shresth Agrawal; Joachim Neu; Ertem Nusret Tas; Dionysis Zindros (IACR Cryptol. ePrint Arch., 2022)