Diffie-Hellman problem, ID-based signature scheme, quadraric residue, weil pairing