컨센시스 영지식증명 도구 '그나크'에서 높음 등급 취약점 — 잘못된 계산을 정상 증명으로 통과

컨센시스가 지난 9일 깃허브에 올린 보안 권고문에 따르면, 이 회사의 영지식증명 개발 도구 '그나크(gnark)'에서 검증 절차를 우회할 수 있는 취약점이 확인됐습니다. 영지식증명은 실제 데이터를 공개하지 않고도 계산이나 거래가 올바르게 이뤄졌다는 것만 증명하는 기술입니다. 그나크는 이 기술을 구현하는 공개 소프트웨어로, 컨센시스가 만든 이더리움 레이어2 네트워크 리네아(Linea)에도 쓰입니다. 보안 위험도는 10점 만점에 7.5점으로 '높음(High)' 등급입니다.

문제는 그나크가 특정 암호 연산 결과를 제대로 검증하지 못하는 데서 생깁니다. 개발진에 따르면 BLS12-381과 BW6-761이라는 암호 기술에서 공격자가 계산에 쓰이는 값을 조작하면, 실제와 다른 값이 정상 결과로 인정될 수 있습니다. 또 계산에 쓰인 값이 정해진 조건을 충족하는지 확인하지 않는 문제도 함께 확인됐습니다. 보안 연구진은 두 암호 기술에서 잘못된 계산 결과를 정상적인 증명으로 통과시키는 데 실제로 성공했습니다. 컨센시스는 적용 환경에 따라 서명 검증이나 블록체인 연산 결과, 여러 증명을 이어서 확인하는 재귀적 증명 검증 등이 위조될 수 있다고 설명했습니다.

영향을 받는 것은 그나크 0.16.0부터 0.16.4까지입니다. 개발진은 코드를 점검하다가 이전부터 있던 다른 검증 문제도 찾아 함께 고쳤습니다. 컨센시스는 이를 수정한 0.16.5 버전을 배포했습니다. 첫 번째 취약점은 버전을 올리는 것 외에 다른 대응책이 없고, 두 번째는 검증 절차를 추가해 임시로 대응할 수 있다고 안내했습니다. 취약점은 비공개로 신고됐으며, 지금까지 실제 공격에 쓰인 정황은 확인되지 않았습니다.

이번 사안은 일반 이용자가 직접 조치할 수 있는 종류는 아닙니다. 이 소프트웨어를 쓰는 개발자·서비스 운영 쪽의 대응 사안이고, 이용자 입장에서는 자신이 쓰는 지갑이나 서비스가 관련 네트워크를 쓰는지, 점검이나 중단 공지가 올라오는지를 보는 정도가 확인할 수 있는 부분입니다.