In a post titled “Shipping an L1 zkEVM #1: Realtime Proving,” protocol engineer Sophia Gold said validators will eventually be able to verify blocks by checking three independent zk-proofs instead of re-executing transactions.