Stretching Groth-Sahai: NIZK Proofs of Partial Satisfiability | Publicación