Hi.I'm searching for a ZKP package that supports asymmetric encryption so I can implement following scenario :
Carol encrypts message m with Alice's public key and sends the "cipher text" to Alice. Bob and Alice both know "hash(m)" But because "m" is encrypted by Alice's public key Bob doesn't know "m" and just Alice knows that. Here is the part that needs ZKP : Alice wants to prove Bob that this "cipher text" is actually encrypted of a message which its hash is equal to "hash(m)".
does libsnark supports this?if not does exist any other package that can help me?
Hi.I'm searching for a ZKP package that supports asymmetric encryption so I can implement following scenario : Carol encrypts message m with Alice's public key and sends the "cipher text" to Alice. Bob and Alice both know "hash(m)" But because "m" is encrypted by Alice's public key Bob doesn't know "m" and just Alice knows that. Here is the part that needs ZKP : Alice wants to prove Bob that this "cipher text" is actually encrypted of a message which its hash is equal to "hash(m)". does libsnark supports this?if not does exist any other package that can help me?