Increase zkCounter limit, decouple sequencer from prover

[doutv]

Problem: 4337 Account Abstraction signature verification throughput is low
1 user operation = 1 EOA + 1 Passkey signature verification

Current state:

• TPS: 50
• 25 user operations per block, due to zkCounter limit

I increase zkCounter to 1<<27. The sequencer throughput is much better:

• TPS: 90
• 69 user operations per block

cdk-erigon/core/vm/zk_counters_limits.go

Line 15 in 451cb91

forkId11TotalSteps = 1 << 25

Completely decouple sequencer from prover

According to the official docs, the design philosophy is to decouple sequencer from prover.
But zkCounter indeed slows down sequencer

Can we support larger zkCounter in zkEVM-prover?

Larger zkCounter, higher memory, slower proving time.
Is there a way to adjust how many blocks proved in a batch?