Воспользовавшись официальным 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