search

mikelodder7 / paillier-rs

An implementation of the Paillier cryptosystem
Apache License 2.0
15 stars 9 forks source link

Proofs #7

Open donkey-donkey opened 10 months ago

donkey-donkey commented 10 months ago

Hi, are there any examples of using zero knowledge proofs with the paillier-rs?

mikelodder7 commented 10 months ago

Is this what you're looking for https://github.com/mikelodder7/paillier-rs/blob/main/src/proof_psf.rs

donkey-donkey commented 10 months ago

i dont think so. im thinking more like zk proofs of correct formation of cyphertext and zk proofs of values in range...

mikelodder7 commented 10 months ago

I don't have it in this code but can add it.

Here's an example of the math for it

donkey-donkey commented 10 months ago

that would be super rad! also looking for a way to use a zk proof to prove that a plaintext number was encrypted to 2 different public keys. and of course proving that zero was encrypted.

donkey-donkey commented 6 months ago

There are these zk proofs at https://github.com/ZenGo-X/zk-paillier They have a non interactive range proof and proof of encrypting zero in there, but they use a different big number solution.

s0l0ist commented 4 months ago

I would definitely be interested in the above proofs.

donkey-donkey commented 4 months ago

I would definitely be interested in the above proofs.

do you know how to do them? what is needed?

mikelodder7 commented 4 months ago

Yes I do. It's just a matter of priorities and time