Smart, N. P., Ghadafi, E., & Warinschi, B. (2010). Groth-Sahai proofs revisited. Lecture Notes in Artificial Intelligence, 6056 LNCS, 177-192. https://doi.org/10.1007/978-3-642-13013-7_11