CGGMP24 TODOs

[survived]

We have finished initial upgrade to CGGMP24 implementation, but we have left something to do before proper release:

• Remove unused proofs from paillier-zk
  Remove unused ZK proof #150
• Changing $\pm \ell$ notation from $\{- \ell, \dots, +\ell\}$ to $\{-(\ell - 1) / 2, \dots, (\ell - 1) / 2\}$ to match the latest revision of the paper
  Fix/ell #149
• Raname crates, folders, code, i.e. s/cggmp21/cggmp24/g
  cggmp24: alpha release #152
• Update README
  It got outdated, e.g. it mentions 5+1 signing protocol and key refresh (which was removed)
  Update README.md #153
• Change repo name to cggmp24
• Make sure all links work
  E.g. link to the spec in readme is currently broken
• Remove security parameter Q from the spec that is used as domain space of challenges
  Paper now samples challenges from $\pm q$
• Refactor NI proofs so they accept NiProof (such that type NiProof = (Commitment, Proof))
  Refactor Non-Interactive Proofs to use type NiProof #154
  Add NiProof struct in zk dlog with el gamal commit #155
  Add NiProof struct in zk enc: paillier encryption in range #156
  Add NiProof struct in zk enc-elg: paillier enc in range with el-gamal commit #157
  Add NiProof struct in zk affine operation with group commit in range #158
  Move NiProof struct to parent module in zk factoring of a RSA modulus #160
• Update paillier-zk so the variable names exactly match the spec (e.g. spec says $N_j$, but impl uses a name key_j, etc.)
• Benchmark and compare revisions
• Make protocols exactly follow the spec
  Currently, there are many places where sequence of computations is slightly different from the spec, or var naming is different, etc.
• Update spec so aux gen accepts primes as input (currently spec says to generate primes inside aux gen protocol)