An implementation of the Groth-Sahai zero-knowledge proof system based on jPBC