Prover Mechanism Simulation A cadCAD simulation to experiment and understand the system dynamics of the prover mechanism in zkrollups