[ANN] Monero FCMP++ Gadgets and Circuit Reviewed by Veridise

MAGIC Grants engaged Veridise to conduct a security assessment of several essential components of the forthcoming Monero FCMP++ upgrade. The security assessment covered the Monero full-chain membership proof algorithm, arithmetization, and implementation. This circuit proves a Monero output is contained within a publicly known set without revealing any other information.

Link: https://magicgrants.org/2025/08/05/Veridise-Gadgets-Circuit

Author: SamsungGalaxyPlayer

Contact: SamsungGalaxyPlayer (Reddit)

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.