Zircuit 정렬기 메커니즘 분석
글: 0xTodd
Zircuit의 $ZRC가 공식 TGE를 맞이한 것을 계기로, 이 프로젝트의 정렬자(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단계부터 과정이 달라집니다:
4. 악성 의심 시 격리풀(isolation pool)로 이동
5. 격리풀에서 재검토 후 문제가 없다고 판단되면 정렬자가 계속해서 블록에 패키징함
또는:
4. 악성 의심 시 격리풀로 이동
5. 격리풀에서 재검토 후 실제로 악성 거래로 확인되면 체인 등재를 거부함
SLS가 악성 여부를 판단하는 기준은 일부 오픈소스 라이브러리를 채택하고 AI 보조 판정을 활용할 수도 있습니다.
향후에는 예를 들어 도난당한 자산이 영원히 전송되거나 L1로 되돌아가는 것이 불가능하게 되는 등의 효과를 기대할 수 있습니다. 현재 난무하는 '암흑의 숲'과 같은 열악한 체인 상황에서 상당히 의미 있는 시도라고 할 수 있습니다.
물론 거래를 검사하다 보면 오진의 가능성이 완전히 배제되지는 않습니다. 그러나 격리풀 알고리즘을 개선함으로써 그러한 문제는 최대한 줄일 수 있다고 생각합니다.
이는 양날의 검과 같습니다. 블록체인은 permissionless를 강조하지만, 이는 SLS와 다소 충돌할 수 있습니다. 하지만 일반 사용자 관점에서 보면, 이런 방식의 L2는 분명 더 안전합니다.
전반적으로 살펴보면, permissionless에 소폭의 영향을 주더라도 보안성 향상을 얻을 수 있고, 특히 초보 사용자 보호 측면에서는 그 가치가 충분하다고 봅니다.
마지막으로 Zircuit의 SLS 메커니즘 논문 원본을 첨부합니다: https://arxiv.org/html/2405.01819v1
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
@0x_Todd
