Auditing zkEVM and it's attack surfaces

Sharing the experience of auditing the very first zkEVM by Polygon, and how to form a security review intuition for such projects. Also a breakdown of some interesting findings.