Polygon Zero

https://mirprotocol.org/

Polygon Zero develops tools for cryptographic verification of blockchain systems including STARKs for proving EVM Execution