Rewritten some idemix parts to algorithms, added info from paper