Shorter Quadratic QA-NIZK Proofs | Publicación