zkEVM 的核心思想是利用零知識證明來驗證和執行智能合約，而不需要每個節點都執行所有的計算。