Integration test of EVM circuit should cache the proving/verifying keys

bus-mapping/src/circuit_input_builder.rs

@@ -52,6 +52,12 @@ pub struct CircuitsParams {
     pub max_exp_steps: usize,
     /// Maximum number of bytes supported in the Bytecode Circuit
     pub max_bytecode: usize,
+    /// Pad evm circuit number of rows.
+    /// When 0, the EVM circuit number of row will be dynamically calculated, so
+    /// the same circuit will not be able to proof different witnesses. In this
+    /// case it will contain as many rows for all steps + 1 row
+    /// for EndBlock.
+    pub max_evm_rows: usize,
     // TODO: Rename for consistency
     /// Pad the keccak circuit with this number of invocations to a static
     /// capacity.  Number of keccak_f that the Keccak circuit will support.
@@ -70,6 +76,7 @@ impl Default for CircuitsParams {
             max_copy_rows: 1000,
             max_exp_steps: 1000,
             max_bytecode: 512,
+            max_evm_rows: 0,
             keccak_padding: None,
         }
     }

circuit-benchmarks/src/super_circuit.rs

@@ -84,6 +84,7 @@ mod tests {
             max_copy_rows: 256,
             max_exp_steps: 256,
             max_bytecode: 512,
+            max_evm_rows: 0,
             keccak_padding: None,
         };
         let (_, circuit, instance, _) =