Bilinear-Pairing ARKG