New algorithms for verifiable outsourcing of bilinear pairings