The prover is the ZK-rollup's engine room: the system that turns thousands of executed transactions into one succinct proof the L1 can verify. Module … First-principles module in Blockchain Architecture & Scaling, with a mastery quiz.