CIRCL-Fourq: Missing and wrong validation can lead to incorrect results
GHSA-2x5j-vhc8-9cwm · CVE-2025-8556 · GO-2025-3754
Published · Modified
AI SAST
Find this class of vulnerability in your own code
Corgea's AI-native static analysis detects vulnerabilities like this one across your repositories, ranks them by exploitability, and returns review-ready fixes.
Description
Impact
The CIRCL implementation of FourQ fails to validate user-supplied low-order points during Diffie-Hellman key exchange, potentially allowing attackers to force the identity point and compromise session security.
Moreover, there is an incorrect point validation in ScalarMult can lead to incorrect results in the isEqual function and if a point is on the curve.
Patches
Version 1.6.1 (https://github.com/cloudflare/circl/tree/v1.6.1) mitigates the identified issues.
We acknowledge Alon Livne (Botanica Software Labs) for the reported findings.
References
- WEB https://github.com/cloudflare/circl/security/advisories/GHSA-2x5j-vhc8-9cwm
- ADVISORY https://nvd.nist.gov/vuln/detail/CVE-2025-8556
- WEB https://access.redhat.com/security/cve/CVE-2025-8556
- WEB https://bugzilla.redhat.com/show_bug.cgi?id=2371624
- PACKAGE https://github.com/cloudflare/circl
- WEB https://github.com/cloudflare/circl/tree/v1.6.1
- WEB https://news.ycombinator.com/item?id=45669593
- WEB https://www.botanica.software/blog/cryptographic-issues-in-cloudflares-circl-fourq-implementation
Ready to move
Start Securing
Free, no credit card | First findings in minutes