Constructive and computational aspects of cryptographic pairings by