Too Long; Didn't Read
zkEVM is the crown jewel of Ethereum scaling schemes. Multiple teams are working on the research of zk-EVM. The process of executing transactions in the EVM executer requires transaction-related pre_state + tx, etc., to get post_state to get the proof. zk eVM is a different design by Matter Labs and AppliedZKP, Matter Labs, Hermez, and Sin7Y. It is roughly divided into two categories: Proof of native EVM, with zk implementation of the native opcode, and custom EVM.