1st Pairing-based coin by MS (PINOCCHIO)