feat: implementation of dlog with el gamal commitment zkp

[manel1874]

Implementation of Discrete Log with El-Gamal commitment ZK, called $\prod^{elog}$ in the new cggmp24 version.

Motivation

This is part of the ongoing effort to update the cggmp21 implementetion to the latest version. Changes required within the zkps:

New protocols to be implemented:

• Discrete Log with El-Gamal commitment ZK $\prod^{elog}$. This PR
• Range Proof with El-Gamal commitment ZK $\prod^{enc-elg}$. feat: implementation of paillier encryption in range with El-Gamal commitment #132

Protocols to be changed

• Paillier-Blum Modulus ZK $\prod^{mod}$. feat: update paillier blum modulus zkp to cggmp24 version #133
• No Small Factor ZK $\prod^{fac}$. feat: update no small factor zkp to cggmp24 version #134

Protocols no longer used (to be deleted)

• Paillier Encryption in Range ZK $\prod^{enc}$

[survived]

Hey @manel1874, thanks for submitting the proofs! Note that we also require all contributors to sign-off commits: it's a requirement from Linux Foundation. See pipeline fail message

Also we will need that you update the spec with descriptions of the proof, but please don't do that yet, as we're in the process of refactoring the spec in #128

[manel1874]

See pipeline fail message

Done, thanks! I thought committing with -s flag would be enough. I changed all other three PRs as well.

[manel1874]

Not sure what the pipeline error means:

Run marocchino/sticky-pull-request-comment@v2
Error: Resource not accessible by integration

[survived]

It's a pipeline that writes a comment on the PR page, probably it doesn't like being triggered from outside. We can safely ignore it.

[survived]

Hi @manel1874, #128 is merged, can you merge cggmp24/m into your branches and update the specs to document new proofs?

I'm going to be off the next week, if you need assistance, feel free to ping @maurges