zkEVMの核心思想は、ゼロ知識証明を利用してスマートコントラクトを検証および実行することであり、すべてのノードがすべての計算を実行する必要はありません。