Crate verenc[−][src]
Expand description
Camenisch-Shoup verifiable encryption and decryption based on https://www.shoup.net/papers/verenc.pdf and https://dominoweb.draco.res.ibm.com/reports/rz3730_revised.pdf Camenisch-Shoup verifiable encryption and decryption based on https://www.shoup.net/papers/verenc.pdf and https://dominoweb.draco.res.ibm.com/reports/rz3730_revised.pdf
Re-exports
pub use unknown_order;
Structs
Key for decrypting VerifiableCipherText
as described in section 3.2 in
https://shoup.net/papers/verenc.pdf
Key for Encrypting VerifiableCipherText
as described in section 3.2 in
https://shoup.net/papers/verenc.pdf
Group holds public values for Verifiable Encryption and Decryption
g
and h
correspond to the symbols with the same name in the paper.
n
= pq, p = 2p’+1, q = 2q’+1, p, q, p’, q’ are all prime.
nn
= nn
n2d2
= nn / 2 integer division
n2d4
= nn / 4 integer division
nd4
= n / 4 integer division
Ciphertext that can be used to prove its verifiably encrypted or decrypted
Proof verifiable encryption for discrete log