Воспользовавшись официальным TGE Zircuit $ZRC, поговорим об интересном механизме секвенсера в этом проекте.

Zircuit имеет свой собственный L2, особенностью которого является создание решения под названием «Безопасность на уровне секвенсера/SLS (Sequencer Level Security)».

Мы все знаем, что в настоящее время все транзакции L2 проходят через официальные секвенсеры проектов. Конечно, из-за существования ZK/доказательства вызова, в целом, мы тоже не беспокоимся о злых действиях секвенсера.

В целом, секвенсер является нейтральным персонажем, который всегда честно выполняет каждую транзакцию.

Итак, хотя секвенсер нейтрален, можем ли мы попытаться сделать так, чтобы он присоединился к доброй стороне?

Таким образом, Zircuit активировал этот механизм SLS, его цель — изолировать «злые транзакции».

Как обычно, как транзакция L2 попадает в блокчейн? Просто четыре шага:

1. Пользователь инициирует транзакцию и транслирует её

2. Транзакция попадает в пул памяти (mempool) в ожидании

3. Секвенсер выступает в роли нейтральной стороны, помогая упаковать её в блок

4. Транзакция попадает в блокчейн

Однако на основе механизма SLS этот шаг стал пятиступенчатым:

1. Пользователь инициирует транзакцию и транслирует её

2. Транзакция попадает в пул памяти (mempool) в ожидании

3. Секвенсер выступает в роли доброй стороны, используя некоторые инструменты для проверки транзакции на наличие злого умысла

4. Если нет злого умысла, помочь упаковать её в блок

5. Транзакция попадает в блокчейн

Но что если есть подозрительные транзакции? Начиная с четвертого шага изменения:

4. Если подозревается злой умысел, перейти в изоляционный пул

5. Изоляционный пул подтвердил, что нет ошибок, секвенсер продолжает помогать упаковывать

или:

4. Если подозревается злой умысел, перейти в изоляционный пул

5. Изоляционный пул подтвердил, что это действительно злостная транзакция, поэтому отказывается упаковывать её в блокчейн

Этот стандарт проверки SLS на наличие злого умысла может использовать некоторые открытые библиотеки и привлекать ИИ для оценки.

В будущем есть надежда достичь некоторых результатов, например: украденные активы могут никогда не быть переданы или вернутся на L1. Это все еще имеет смысл в нынешней неблагоприятной среде цепочки темного леса.

Конечно, поскольку это проверка транзакции, неизбежно могут быть некоторые ошибки. Однако я понимаю, что улучшив алгоритм изоляционного пула, можно максимально снизить такие проблемы.

Это двусторонний меч, блокчейн подчеркивает отсутствие разрешений, что немного противоречит SLS. С точки зрения обычного пользователя, такой L2 действительно немного безопаснее.

Однако, в целом, я считаю, что хотя это слегка влияет на отсутствие разрешений, повышение безопасности, особенно в защите неопытных пользователей, все же стоит того.

В конце прикладываю: оригинальный текст документа Zircuit о механизме SLS: https://arxiv.org/html/2405.01819v1