#smart-contract-auditing

Mum, I'm auditing a math heavy codebase, what do I do ?

I spent 3 days including saturday and sunday deriving formulas from the Gyro ECLP whitepaper. Line by line. Variable by variable. By Sunday night, I understood the math beautifully, and had found exactly zero bugs. That weekend taught me something im...