Feature Request: Proof of Membership about rust-paillier HOT 9 CLOSED

Is it possible that this is the same as ZenGo-X/zk-paillier#3 ?
I think the right place for that is in zk-paillier library.
Voting is a cool application! If I recall that is not a very complex proof.

from rust-paillier.

Yes that's the same proof!

from rust-paillier.

@phayes do you want to take the lead on that?

from rust-paillier.

Hi @omershlo,

I'm honestly not super familiar with paillier internals, and would rather leave it to someone who does.

However, looking at the paper it doesn't look terribly difficult.

from rust-paillier.

Regardless of who does it though, it might be a good idea to have @tfdahlin review it, as they were the one that authored the referenced paper.

from rust-paillier.

good point.
Anyway - I will start working on it on zk-paillier library.

from rust-paillier.

I'd be happy to take a look at it for you when it's written, but it might take me a while.

It's been a while since I worked on that project, so I'd need to refamiliarize myself with it, and I've never touched Rust so getting used to that code might take a bit.

You might also reference https://github.com/DaylightingSociety/Paillier/blob/master/lib/paillier/zkp.rb#L163 for my implementation in Ruby.

from rust-paillier.

HI @phayes I wrote the rust version of the proof in the zk-paillier library (@tfdahlin your ruby code was a really valuable reference):
https://github.com/KZen-networks/zk-paillier/blob/master/src/zkproofs/correct_message.rs
I added one test for correctness and one test for soundness.
I will close this issue but you are more than welcome to review and add to the code in zk-paillier. Plenty optimisations are possible.

I do want to give a disclaimer:
I did not find a security proof anywhere for this protocol. I cannot attest to its security (until I will write the proof myself)

cheers.

from rust-paillier.

Thank you! 🎉

from rust-paillier.