amanda smith replied to How do real smart contract audits work in practice? What do auditors check before Slither, Mythril, Foundry fuzzing, or Echidna?
"I think the biggest gap in beginner audit discussions is that people jump to tools before they define what must stay true in the protocol. I..."