Verified indifferentiable hashing into elliptic curves | Publicación