Analyzing Polygon's zkEVM PIL State Machines with Leo Alt
Spearbit · 52:20
The talk shows how Polygon zkEVM state machines are written in PIL (Polynomial Identity Language) and how an audit team checked them. Small mistakes, like a missing constraint or a wrong constant column, can leave a c...