The core idea of zkEVM is to use zero-knowledge proofs to verify and execute smart contracts without requiring every node to perform all the computations.