Bridge between the Idemix library and a smart card-based Idemix recipient