13:50:59 <br-m> <sgp_> https://magicgrants.org/2026/09/29/Divisors-in-Monero
13:51:11 <br-m> <sgp_> I finally wrote about the audits and organized the resources in one place
13:55:59 <br-m> <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
15:23:44 <br-m> <sgp_> From zkSecurity on this: https://x.com/zksecurityxyz/status/2104953772669808866