Polygon introduced the type 1 prover, enabling EVM chains to adopt zero-knowledge scaling technology.