# Scroll zkEVM Next Steps

To be fully transparent with the community, the Scroll zkEVM proof in our Alpha Testnet has a few missing checks listed below. They are still permitted in the sequencer but aren't constrained in the zkEVM circuit. We are actively working on the completion of these features in zkEVM (of which many are already working in progress) and committed to support all of them before the mainnet. We will also iteratively release upgrades to our testnet to close the gap.

- EVM error cases
- [ ] ErrorContractAddressCollision
- [ ] ErrorInvalidCreationCode
- [ ] ErrorMaxCodeSizeExceeded
- [ ] ErrorReturnDataOutOfBound
- [ ] ErrorOutOfGasDynamic
- MPT circuit
- [ ] Prove the withdraw trie root that contains all withdrawal messages from L2 to L1
- [ ] Constrain L1 rollup fee
- Precompiled contracts
- [ ] ecRecover
- [ ] SHA2-256
- [ ] RIPEMD-160
- [ ] identity
- [ ] modexp
- [ ] ecAdd
- [ ] ecMul
- [ ] ecPairing
- [ ] blake2f