<sgp_> magicgrants.org/2026/09/29/Divisors-in-Monero

<sgp_> I finally wrote about the audits and organized the resources in one place

<sgp_> In addition to the three auditors' reports (Veridise, Cypher Stack, and zkSecurity), zkSecurity also more recently wrote a Lean formalization on their own initiative

<sgp_> From zkSecurity on this: x.com/zksecurityxyz/status/2104953772669808866