09:46:47 <midipoet> https://arxiv.org/pdf/2505.21008
09:47:05 <midipoet> A Hitchhiker’s Guide to Privacy-Preserving Cryptocurrencies:
09:47:05 <midipoet> A Survey on Anonymity, Confidentiality, and Auditability
09:49:39 <midipoet> seems a pretty comprehensive paper
10:51:20 <m-relay> <r​brunner7:monero.social> Yeah, looks cool
14:37:24 <m-relay> <w​ritemarble:matrix.org> Wow thats nice. Like the "HItchikers guide to python"
15:30:03 <m-relay> <s​gp_:monero.social> https://veridise.com/audits-archive/company/monero-research-lab/magic-grants-monero-fcmp-2025-06-03/
15:30:32 <m-relay> <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>
15:30:33 <m-relay> <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>
15:30:35 <m-relay> <s​gp_:monero.social>  source code performed by Veridise security analysts as well as thorough code review.
15:58:27 <moneromooo> That's one where one can hope monero gets "mostly harmless".
17:00:05 <m-relay> <r​brunner7:monero.social> I don't know, that review result looks like really stellar quality of the reviewed code to me.
17:04:30 <m-relay> <s​gp_:monero.social> The translator is also available here: https://github.com/Veridise/fcmp-plus-plus/tree/picus/crypto/fcmps/circuit-abstraction
17:05:51 <m-relay> <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.
17:27:22 <m-relay> <s​gp_:monero.social> Right
18:30:30 <m-relay> <3​21bob321:monero.social> * Magic grants on behalf of monero research lab engaged veridise
18:30:35 <m-relay> <3​21bob321:monero.social> Dankon
18:54:24 <m-relay> <3​21bob321:monero.social> Also maybe think about having mrl social media account for being excited. So people stop asking about updates every 5mins.