# SPECS

- [Polygon CDK zkEVM](/specs/polygon-cdk-zkevm.md)
- [Polygon AggLayer](/specs/polygon-agglayer.md)
- [Avail DA](/specs/avail-da.md)
- [Trusted Execution Environments ](/specs/trusted-execution-environments.md)