SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients[C] ADVANCES IN CRYPTOLOGY- ASIACRYPT 2022, PT I 2022(13791) Abusalah, Hamza Fuchsbauer, Georg Gazi, Peter Klein, Karen
