Cryptography for a Verifiable World: Foundations and Applications of Succinct Proof Systems | Publicación