리니아, 규칙 어긴 거래 블록 기록 전 차단…참여 프로토콜 4곳

이더리움(ETH) 레이어2 네트워크 리니아(Linea)가 공격성 거래를 블록에 기록되기 전에 걸러내는 보안 계층 'Credible Layer'를 메인넷에서 가동했다. 탈중앙화금융(DeFi) 앱이 정한 규칙을 거래가 확정되기 전에 검사하고, 규칙을 어기는 거래는 거부하는 방식이다.

이 기능은 보안 기업 팔락스(Phylax)가 설계했다. 크립토브리핑(Crypto Briefing)은 10일 이 기능이 리니아 메인넷에서 활성화됐다고 전했다. 크립토브리핑은 기존 온체인 보안 도구 대부분이 공격이 벌어진 뒤 기록하고 알리는 데 머문다고 지적하며, 이를 '집 안을 촬영하는 카메라'에 비유했다. 리니아의 방식은 거래가 실행되는 단계에서 문을 막는 '잠금장치'에 가깝다는 설명이다.

보호 규칙의 이름은 '어서션(assertion)'이다. 앱 개발자가 이더리움 스마트계약의 주요 언어인 솔리디티(Solidity)로 작성하며, 거래가 처리된 뒤에도 항상 참이어야 하는 조건을 뜻한다. 대출 프로토콜이라면 거래 결과로 자금 풀이 안전하지 않은 상태에 놓이지 않도록 규칙을 정해둘 수 있다.

검사는 시퀀서 단계에서 이뤄진다. 시퀀서는 사용자 거래를 모아 블록에 담을 순서를 정하는 구성 요소로, 네트워크의 입구 역할을 한다. Credible Layer는 리니아의 시퀀서와 리니아 스택 전반에 연결됐다.

거래가 들어오면 Credible Layer가 먼저 결과를 시뮬레이션한다. 결과가 앱이 등록한 어서션을 하나라도 깨면 그 거래는 블록에 들어가기 전에 거부된다. 크립토브리핑은 이 구조의 특징으로 세 가지를 꼽았다. △컨트랙트를 고치지 않아도 되고 △검사가 실행 이후가 아니라 블록 생산 중에 이뤄지며 △기존 거래 흐름과 나란히 도는 사이드카 구조라는 점이다.

첫째 특징은 배포 뒤 업그레이드가 불가능한 컨트랙트에도 보호 규칙을 더할 수 있다는 뜻이다. 셋째 특징에 대해 크립토브리핑은 지연이나 처리량 문제가 없다는 리니아 측 설명을 전했지만, 이를 뒷받침하는 실측 수치는 제시되지 않았다.

참여는 선택 사항이다. 리니아 스택 위의 탈중앙화 앱과 기업 배포 모두 사용 여부를 정한다. 출시 시점에 기능을 쓴 프로토콜은 유러(Euler), 말다(Malda), 데나리아(Denaria), 터틀 클럽(Turtle Club) 네 곳이다. 같은 리니아 기반 서비스라도 적용 여부와 등록된 규칙은 서로 다를 수 있다.

한계도 분명하다. 보호 수준은 앱이 작성한 규칙에 달려 있어 규칙에서 빠진 공격 경로는 막지 못하고, 규칙을 설정하지 않은 앱의 사용자는 추가 보호를 받지 못한다. 사전 감사 이력이 확인된 디파이 사건에서도 손실의 94.4%가 감사 범위 밖 공격 경로에서 나왔다는 연구 결과가 앞서 나온 만큼, 어떤 조건을 차단 대상으로 정했는지가 실제 보호 범위를 가른다. 시퀀서 단계에서 거래를 거르는 구조가 탈중앙화 원칙과 부딪친다는 문제 제기도 가능하다. 크립토브리핑은 네트워크가 거래의 적법성을 직접 판단하는 것이 아니라 앱이 정한 규칙을 집행할 뿐이라는 점을 들어 이 우려에 답했다.

리니아는 컨센시스(ConsenSys)가 개발한 zkEVM 레이어2로, 메인넷은 2023년 7월 11일 출시됐다. zkEVM은 영지식 증명으로 거래 묶음을 검증하면서 이더리움 실행 환경과의 호환을 유지하는 방식이다. 본지는 앞서 컨센시스가 메타마스크와 기관 사업을 두 회사로 분리한다고 보도한 바 있다.

컨센시스에서 리니아를 이끄는 데클런 폭스(Declan Fox)는 네트워크 차원의 보안과 각 앱이 직접 정하는 규칙을 결합한 구조를 강조했다. 크립토브리핑은 폭스가 이를 기관 고객을 겨냥한 방향으로 설명했다고 전했다. 이 매체는 리니아가 인프라 수준에서 프로토콜이 정한 공격 차단을 구현한 첫 주요 이더리움 레이어2라고 소개했으나, 이 주장은 인용된 연구 결과에 기댄 것으로 독립적으로 검증되지 않았다.

크립토브리핑이 앞으로 지켜볼 대목으로 꼽은 것은 세 가지다. △유러·말다·데나리아·터틀 클럽 외에 참여 프로토콜이 늘어나는지 △기업용 리니아 스택에서 기능이 켜지는지 △Credible Layer가 실제 공격을 막은 첫 사례가 나오는지다.