-
br-m<john_r365> Hi - after the semi-recent Zcash inflation bug that was found via AI, I was one of the randoms using AI (Opus 4.8 + GPT-5.5) to inspect Monero's codebase for implementation-level inflation bugs (rather than cryptographic flaws).
-
br-m<john_r365> I didn't find anything, but I've published the audit scaffold and results in case they save others time.
-
br-m<john_r365> The AI says it might save time "mapping the consensus-critical code paths, reconstructing the relevant invariants", and... retesting already-examined hypotheses.
-
br-m<john_r365> Which... may be useful as better AI models become available.
-
br-m<john_r365> Github repo for this is at: github.com/johnr365/monero-inflation-audit
-
br-m<jeffro256> Might be helpful to run the model against the fcmp++-stage branch, to potentially catch things early on in development.
-
br-m<jeffro256> I say "early" meaning before human review while in a PR to master
-
br-m<john_r365> thanks @jeffro256:monero.social - good suggestion