[ANN] The Road to Divisors in Monero

I finally wrote about the audits and organized the resources in one place. In addition to the three auditors’ reports (Veridise, Cypher Stack, and zkSecurity), zkSecurity also more recently wrote a Lean formalization on their own initiative

Links:

• https://magicgrants.org/2026/09/29/Divisors-in-Monero
• https://x.com/zksecurityxyz/status/2104953772669808866

Author: sgp

Contact: SamsungGalaxyPlayer (GitHub)

Note:

This is a free community message from sgp.

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.