Zircuit включил механизм SLS, цель которого - изолировать «вредоносные транзакции».
Автор: 0xTodd
В связи с официальным TGE Zircuit на $ZRC поговорим об интересном механизме сортировщика (sequencer) в этом проекте.
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 действительно безопаснее.
Однако в целом я считаю, что хотя это немного влияет на безразрешительность, но повышение безопасности, особенно в защите неопытных пользователей, стоит того.
В конце прилагаю: оригинал статьи о механизме SLS Zircuit: https://arxiv.org/html/2405.01819v1
