Simulation extractable versions of Groth’s zk-SNARK revisited | Publicación