Module paillier::proof [−][src]
Structs
| Challenge | |
| ChallengeBits | |
| CorrectKeyProof | |
| CorrectKeyProofError | |
| EncryptedPairs | |
| Proof | |
| VerificationAid |
Traits
| CorrectKey |
Zero-knowledge proof of co-primality between the encryption modulus and its order. |
| CorrectOpening |
Verify correct opening of ciphertext. |
| RangeProof |
Zero-knowledge range proof that a value x<q/3 lies in interval [0,q]. |
| RangeProofNI |
Zero-knowledge range proof that a value x<q/3 lies in interval [0,q]. |