/2
State of Sequencing
Так в чем же проблема и что нам эта централизация дарит?
● Single Point of Failure (SPOF) - если sequencer уходит в offline, то значит всё.
● Harmful MEV - sequencer это единственный кто может заниматься MEV-ом в сети. Это приводит к возможности искусственно поднимать цену на газ в сети чтобы попасть в блоки. Пример который помнят все: первый Arbitrum Oddysey.
● Prone to censorship - тебя могут очень легко исключить из сети, секвенсор сам выбирает кому можно, а кому нельзя финализироваться на L1.
● Cross-sequencer atomic txs невозможны без единого secuencer-а.

Но если secuencer всемогучъ, то значит все плохо? Well yes, but actually no, рассмотрим как это работает в случае Arbitrum.
(1) Юзер делает транзакцию
(2) Транзакция попадает в Sequencer
(2.5) Отправляет юзеру подтверждение транзакции
(3) Batching всех транзакций into L2
(4) Постится на L1

Если сложнее - TX от User-а попадает в Sequencer. После получения он возвращает soft confirm user-у, говоря что его TX исполнена. В течении секунды TX попадает в batch, и затем отправляется на L1 via addSequencerL2Batch функцию в sequencerInbox - Link

Если есть проблемы? - Well yes, but actually no
TX от User-a уходит, но обратно приходит только pending в кошельке. Получается secuencer не может в процессинг TX, следовательно User может создать TX на L2 и отправляет на L1 ноду, которая в свою очередь отправит ее в Inbox на L1 контракт и будет как sendUnsignedTransaction и рассмотрена как delayedInboxAccs. Да, как там и написано, если есть такая проблема, то она будет исполнена через 10 минут. Но что если sequencer просто захотел подвергать всех цензуре? К счастью это не представляется возможным, так как Inbox всегда будет получать TX от User-а, а значит будет финализирована через какое-то время.

● Optimism - занимется децентрализацией но пока не особо успешно - Link
● zkSync - тут все пока тоже мемно - Link
● zkEVM Polygon, на данный момент, имеет еще более centralized структуру, если sequencer упадет, то все балансы будут заморожены до тех пор, пока он не вернется online. Но с POL2.0 все сейчас будет меняться ткк в нем уже заложен этот бекдор для user-ов.

Подводя итог, liveness этого всего является гарантией того, что протокол будет общаться сообщениями между network нодами, позволяя им достичь consensus, и завершая тем самым TX user-a через некоторое время.