🧵 How to use AI in smart contract audits when your bar is already high:
1/ Compress protocol comprehension 🔍
Ask AI to explain a single execution path (liquidation, withdrawal, settlement), then branch into adjacent flows. You're not outsourcing analysis—you're accelerating time-to-model.
2/ Generate fuzz cases around invariants 👀
Give it an interface and a property you believe should always hold. Let it produce adversarial Foundry/Echidna tests while you focus on proving exploitability.
3/ Walk every if/else path with numbers 🔀
When logic forks, ask AI to trace each branch using concrete inputs and state transitions. Many accounting and edge-case bugs become obvious once you stop thinking in variables and start thinking in actual values.
4/ Use it for algebraic proof 📐
Before escalating a finding, ask AI to derive the constraints under which the exploit state is reachable. A few minutes of math can save hours chasing an impossible attack path.
5/ Turn findings into reports 📝
Once you have root cause, impact, and attack path, AI is excellent at converting rough notes into a structured writeup. Keep the judgment; delegate the formatting.
⚠️ AI shouldn't find bugs for you.
It should shrink the distance between:
"I don't understand this yet"
and
"I'm ready to break it" 🚀