Sequencer-Prover Separation in Zero-Knowledge Rollups

Zero-Knowledge rollups tend to split the transaction ordering responsibilities and state transition correctness proving into distinct protocol participant roles. This talk will explore potential approaches to designing a balanced protocol with two distinct roles.