jancarlsson / snarkfront

a C++ embedded domain specific language for zero knowledge proofs
MIT License
58 stars 12 forks source link

Proof of plaintext knowledge #6

Open robertsdotpm opened 8 years ago

robertsdotpm commented 8 years ago

How difficult would it be to extend some of the examples to support proof of plaintext knowledge in the following form: "For this given ciphertext, hash, and public key -- I know some plaintext that results in that ciphertext, from that public key, and hashes to that hash."

It would be -really- useful to have such a construct for RSA.