feat(cipher): add Goldwasser-Micali probabilistic encryption (1982, first semantically-secure public-key scheme, origin of IND-CPA security) - #995
Conversation
…irst semantically-secure public-key scheme, origin of IND-CPA security)
|
@Aakif-Kohari is attempting to deploy a commit to the csxark's projects Team on Vercel. A member of the Team first needs to authorize it. |
🎉 Thank You for Your ContributionHello @Aakif-Kohari, Thank you for submitting a Pull Request to CryptoViz. We appreciate the time and effort you've invested in contributing to the project. Your Pull Request has been received successfully and will be reviewed by the maintainers as soon as possible. 📋 Pull Request Checklist
Ensuring these requirements are met helps streamline the review process and enables maintainers to review your contribution more efficiently. ❤️ Support CryptoVizIf you find CryptoViz helpful, consider supporting the project by:
Your support helps increase the project's visibility and encourages continued development. Thank you for being a part of the CryptoViz community! Thank you once again for contributing to CryptoViz. We appreciate your support and look forward to reviewing your contribution. |
|
Important Review skippedDraft detected. Please check the settings in the CodeRabbit UI or the ⚙️ Run configurationConfiguration used: defaults Review profile: CHILL Plan: Pro Plus Run ID: You can disable this status message by setting the Use the checkbox below for a quick retry:
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
NotePlease Merge after 03:15 PM IST (GMT +5:30) 11 August. |
Pull Request
Description
Adds a complete, step-instrumented visualizer for the Goldwasser-Micali cryptosystem (1982), the first provably semantically-secure public-key scheme. This implementation demonstrates its bit-by-bit probabilistic encryption and the quadratic residuosity problem underlying IND-CPA security.
Related Issue
Closes #984
Type of Change
Changes Made
lib/cipher/asymmetric/goldwasser-micali.tswith Jacobi symbol computation and residuosity testingtests/unit/asymmetric/goldwasser-micali.test.tsverifying probabilistic variation and round-tripgoldwasser-micalitoCipherNameunion inlib/cipher/types.tsgoldwasser-micaliinlib/cipher/registry.tslib/workers/cipher.worker.tsTesting
Checklist
Additional Notes
Foundational to the semantic-security notion underlying Cramer-Shoup (a previous batch) and modern IND-CPA/IND-CCA definitions. Demonstrates the deliberate tradeoff of ciphertext expansion for probabilistic security.
Note
Please Merge after 03:15 PM IST (GMT +5:30) 11 August.
Please ensure PR has
ECSoC26Tag before merge.