1st Pairing-based coin by ms (PINOCCHIO)