Added re-randomization process
Added ZK proof for a generalized DL representation using extensions to Schnor