[ANN] MAGIC Grants: Monero FCMP++ audit report
Total Findings: 2 (Low Severity)
Mitigated: 2
From Apr. 7, 2025 to May 2, 2025, MAGIC Grants engaged Veridise to conduct a security assessment of their Monero FCMP++ project. The security assessment covered the Monero full-chain membership proof algorithm, arithmetization, and implementation. This circuit proves a blinded Pedersen committment is contained within a publicly known set without revealing any other information.
Links:
- https://veridise.com/audits-archive/company/monero-research-lab/magic-grants-monero-fcmp-2025-06-03/
- https://github.com/Veridise/fcmp-plus-plus/tree/picus/crypto/fcmps/circuit-abstraction
Author: SamsungGalaxyPlayer
Contact: SamsungGalaxyPlayer (Github)
Note:
This is a free community message from SamsungGalaxyPlayer.
Read the service announcement for more info.
Always DYOR and make use of reputable escrow services. I do not/can not verify anything. Report any suspicious messages.