Simple and exact formula for minimum loop length in Ate i pairing based on Brezing-Weng curves.