Revision #3092 → #3581 · back to history
addedPlaintext9f525c61da81
addedDecryptionc8d9d96dbe85
modifiedCipher7dfb07ca3cbd
| Field | From #3092 | To #3581 |
|---|
| note | No cipher abstraction exists in Mathlib; the only 'cipher' grep hit is unrelated coding theory. | No cipher abstraction exists in Mathlib; grep for 'cipher' in Mathlib returns no cryptographic hits. |
addedFrequency analysis9a3f2ab3cb44
addedInteger factorization problem64fee7ce0961
addedDiscrete logarithm problem3b3544e4640c
addedPost-quantum cryptography10069f7746e1
addedElliptic curve cryptographyee1205c5d27e
addedPseudorandom function3d3930dde33d
addedOne-way functionfd03ec18db8e
addedInteractive proof system114f755c8e27
addedZero-knowledge proofb75ab5bb969c
addedSecret sharingff3bcced64c9
modifiedQuantum threat to public-key keysed69bed00aff
| Field | From #3092 | To #3581 |
|---|
| anchor.snippet | a quantum computer could reduce the effort required to break today’s strongest RSA or elliptic-curve keys | a quantum computer could reduce the effort required to break today's strongest RSA or elliptic-curve keys |