Calculs vérifiables et arguments succincts pour NP | Publicación