A Hitchhiker’s Guide to Privacy-Preserving Cryptocurrencies:

A Survey on Anonymity, Confidentiality, and Auditability

seems a pretty comprehensive paper

<r​brunner7:monero.social> Yeah, looks cool

<w​ritemarble:matrix.org> Wow thats nice. Like the "HItchikers guide to python"

<s​gp_:monero.social> veridise.com/audits-archive/company…magic-grants-monero-fcmp-2025-06-03

<s​gp_:monero.social> > 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. <clipped message>

<s​gp_:monero.social> Veridise analysts analyzed the sub-circuits which compose the Monero FCMP++ circuit in prior reviews [1–3]. This review focused on their use and implementation in the full Monero FCMP++ codebase. Veridise conducted the assessment over 12 person-weeks, with 3 security analysts reviewing the project over 4 weeks. The review strategy involved a tool-assisted analysis of the program<clipped message>

<s​gp_:monero.social> source code performed by Veridise security analysts as well as thorough code review.

That's one where one can hope monero gets "mostly harmless".

<r​brunner7:monero.social> I don't know, that review result looks like really stellar quality of the reviewed code to me.

<s​gp_:monero.social> The translator is also available here: github.com/Veridise/fcmp-plus-plus/…us/crypto/fcmps/circuit-abstraction

<r​ucknium:monero.social> I noticed that some of the reviewed code was for divisors. I wounder if any of that code will have to be changed after Cypher Stack completes its review of divisors. That might require another small audit for the patch.

<s​gp_:monero.social> Right

<3​21bob321:monero.social> * Magic grants on behalf of monero research lab engaged veridise

<3​21bob321:monero.social> Dankon