SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients | Publicación