pinocchio token (p-token)