How Does the Complexity Affect the Decentralization of the Sequencer?

The high computational complexity of ZK-proof generation can initially lead to centralization of the sequencer role. The sequencer is the entity that collects and batches transactions and generates the proof.

Due to the specialized and expensive hardware required, only a few well-resourced entities may be able to perform this function, leading to a centralized point of control. Decentralizing the sequencer is a major ongoing development challenge for ZK-Rollups.