Consensys, 이더리움(ETH) 증명 위조 가능한 gnark 취약점 공개, 심각도 7.5

Consensys, gnark 증명 우회 취약점 공개

이더리움(ETH) 인프라 개발사 Consensys가 관리하는 오픈소스 영지식 증명 도구 gnark에서 높은 심각도의 보안 결함이 공개됐다. 이 결함은 일부 배포 환경에서 조작된 계산 결과가 정상 증명처럼 통과할 수 있게 하는 것이다. Consensys는 11월 9일(월요일) GitHub에 보안 권고문을 게시하고 심각도를 10점 만점에 7.5점, 즉 '높음' 등급으로 평가했다. 권고문에 따르면 핵심 문제는 gnark가 특정 암호학적 연산의 결과를 제대로 검증하지 않는 점이다. 여기서 검증이란 기반이 되는 데이터를 직접 보지 않고도 계산이 주장된 대로 수행됐는지 확인하는 절차를 뜻한다. 권고문은 BLS12-381과 BW6-761 두 곡선군을 명시했다. 공격자는 계산에 입력되는 값을 조작해 검증기가 실제 결과와 다른 출력을 수락하도록 만들 수 있고, 이는 틀린 답이 검증된 답으로 포장될 수 있음을 의미한다. 두 번째 결함은 입력값 검증과 관련 있다. gnark는 연산에 쓰이는 값이 암호학적 연산이 정의한 조건을 충족하는지 확인하지 않아, 올바른 계산과 맞지 않는 결과 역시 검증을 통과할 수 있다. 보안 연구자들은 실험을 통해 검증에서 거부돼야 할 위조 영지식 증명을 실제로 만들어 두 결함을 확인했다. 이런 증명은 업계 전반의 프라이버시 결제와 ZK 확장 시스템의 기반이므로, 공용 라이브러리의 검증기 결함은 특정 프로젝트의 코드베이스를 넘어 영향을 미친다. Consensys는 도구가 실행되는 위치에 따라 서명 검증, 블록체인 계산 결과, 재귀적 증명 검증(여러 증명을 하나의 검사로 묶는 기법)의 위조가 가능해질 수 있다고 경고했다. 회사는 이 문제가 비공개 채널로 보고됐으며 현재까지 악용 흔적은 확인되지 않았다고 밝혔다. 권고문은 지분증명 합의 계층이 아닌 증명 소프트웨어에 결함이 위치한다고 설명하며, 이더리움 가격에 대한 영향 평가는 담지 않았다.

gnark 0.16.5에서 수정 사항 배포

이번 공개의 의미는 라이브러리 자체를 넘어선다. Consensys는 자체 이더리움 레이어 2 네트워크 Linea에 gnark를 활용하는데, 레이어 2는 메인 체인 밖에서 거래를 실행한 뒤 압축된 결과 증명을 이더리움에 다시 올린다. 위조된 증명이 수락되면 피해가 발생하는 지점이 바로 이 파이프라인이다. 나열된 표적 중 하나인 재귀적 검증은 많은 증명을 하나로 압축하므로, 단 한 번의 위조 단계가 검사 사슬 전체로 전파될 수 있다. 권고문은 핵심 결함이 gnark 0.16.0부터 0.16.4 버전에 영향을 미친다고 명시했다. BLS12-381은 이더리움 검증인 서명에 쓰이는 페어링 친화 곡선으로, 결함이 체인의 암호학적 스택과 직접 연결됨을 뜻한다. BW6-761은 재귀적 증명 환경에서 이 곡선과 페어링되도록 설계됐다. 개발팀은 관련 코드를 감사하는 과정에서 이번 공개 이전부터 존재하던 추가 검증 문제도 발견해 같은 릴리스에서 함께 수정했다. 해당 릴리스인 gnark 0.16.5는 이미 배포됐다. Consensys는 두 결함을 명확히 구분한 대응 지침을 내놓았다. 첫 번째 결함은 업그레이드 외에 별도 대책이 없고, 두 번째는 해당 과정에 특정 검증 단계를 추가해 임시 대응할 수 있다. 권고문은 즉시 업그레이드가 어려운 팀을 위한 실용적 지침도 함께 제시했으며, 패치는 하위 프로젝트가 직접 가져와야 하는 의존성 업데이트 형태로 반영된다. 라이브러리를 운영하는 팀은 어떤 코드 경로를 사용하는지에 따라 긴급도가 달라진다. 회사는 권고문 공개 전에 취약점이 비공개로 보고됐으며 실제 악용 징후는 아직 감지되지 않았다고 밝혔다. 다만 Linea의 실제 증명 스택이 영향받는 버전을 실행했는지는 언급하지 않아, 자체 네트워크의 실질적 노출 여부는 밝혀지지 않았다. 권고문은 위조 위험을 특정 네트워크에서 확인된 것이 아니라 애플리케이션 환경에 따라 조건부인 것으로 규정했다.

gnark는 합의 계층 밖에 위치

이더리움 자체에 대한 노출은 7.5점이라는 점수가 암시하는 것보다 좁다. gnark는 증명 인프라일 뿐 합의 코드가 아니다. 블록 생성, 검증인 집합, 스마트 계약 실행은 권고문이 다루지 않는 구현에서 돌아간다. 위험은 gnark를 내장한 시스템, 그중에서도 Linea, 그리고 재귀적으로 검증된 증명에 의존하는 애플리케이션에 집중된다. 관측된 공격이 없는 만큼 이번 건은 시장 전반의 FUD 확산으로 이어지기 전의 기술적 공개 단계에 머물러 있다. 다만 열려 있는 시간대는 11월 9일 권고문 게시부터 의존 프로젝트 전반의 업그레이드 완료 시점까지다. 아직 확인되지 않은 질문은 Consensys가 밝히지 않은 부분, 즉 Linea의 운영 증명기가 영향받는 버전을 실행한 적이 있는지이다. 이더리움 인프라 스택은 GitHub과 온체인 채널을 통해 이전에도 보안 경고를 받아왔다. SlowMist의 Swarm 공급망 공격 경고부터 이더리움 제네시스 지갑을 노린 먼지 전송 사기까지가 그 사례이며, 이런 패턴은 의존성 감사가 상시적인 방어책임을 보여준다.