Network types / Sequencers and coprocessors

A sequencer orders transactions before they get executed and posted to a settlement chain. A coprocessor runs off chain computation whose result gets posted with a proof. Both sit beside a chain rather than under it, and rollups can share them.