Proof Generation: the data will get handed into the coordination (a “trace” with the operate that’s been accomplished” then gets handed into a prover, which generates a zk evidence In creating our zkEVM, we promptly understood putting the EVM into a ZK proof would end in a large proving overhead https://www.scrollbridge.com/