Similar to the EVM forks divergences, we could list the zkEVM divergence https://github.com/crytic/building-secure-contracts/tree/master/learn_evm