지캐시 정리 2700개 검증…공급 의심 줄일까

지캐시(ZEC)가 새 익명 자금풀 아이언우드(Ironwood)의 균형 무결성에 대해 정리 2700개가 넘는 기계 검증 증명을 공개했다. 거래 금액과 참여자를 숨기는 프라이버시 구조에서 공급량 신뢰를 보강하려는 조치로 풀이된다.

개발 조직 프로젝트 타키온(Project Tachyon)은 28일(현지시간) 세 개 연구팀의 연구자와 암호학자가 한 달 넘게 작업했으며, 증명은 정리 증명 언어 린(Lean)으로 작성됐다고 밝혔다. 코인텔레그래프가 전한 내용이다.

이번 검증의 핵심은 ‘균형 무결성(balance integrity)’이다. 익명 자금풀이 공개적으로 들어온 가치보다 더 많은 금액을 내보낼 수 없다는 조건이다. 프라이버시 코인은 거래 금액과 참여자를 숨기는 구조를 쓰기 때문에 공급량이 부풀려져도 외부에서 곧바로 확인하기 어렵다.

연구진은 이번 증명이 아이언우드의 영지식 증명 시스템, 회로 규칙, 원장 단위 회계까지 관련 구성 요소를 포괄한다고 설명했다. 다만 검증은 ‘명시된 암호학적 가정’ 아래에서 성립한다. 아이언우드의 프라이버시 보장 자체는 이번 검증 범위에 포함되지 않았다.

아이언우드는 지캐시 NU6.3 업그레이드로 도입됐다. 본지는 앞서 지캐시가 블록 높이 342만8143에서 아이언우드 업그레이드를 활성화하고 기존 오차드 풀을 봉인했다고 보도했다. 기존 오차드(Orchard) 풀에서는 이론적으로 탐지되지 않는 ZEC 위조가 가능한 취약점이 제기됐다.

지캐시 개발진은 해당 결함이 실제로 악용된 정황은 확인되지 않았다고 밝혔다. 그러나 프라이버시 구조에서 공급량 신뢰가 흔들리면 네트워크 전반의 신뢰 문제로 번질 수 있다. 지캐시가 기존 구조를 유지하기보다 새 익명 자금풀로 전환한 배경이다.

오차드에서 아이언우드로 넘어가는 자금은 턴스타일(turnstile)이라는 공개 회계 관문을 통과해야 한다. 이 장치는 기존 풀에서 나오는 자금의 유입량을 공개적으로 검증한다. 검증된 금액을 초과한 자금이 새 풀로 들어가는 것을 막기 위한 절차다.

형식 검증은 코드가 의도한 명세대로 작동하는지 수학적으로 확인하는 방식이다. 일반 감사가 코드와 설계를 점검하는 절차라면, 형식 검증은 정해진 범위 안에서 예외가 없음을 기계로 증명하는 데 초점을 둔다. 다만 전제가 된 암호학적 가정이나 실제 구현 과정에 문제가 생기면 증명의 의미도 달라질 수 있다.

시장 반응은 아직 신중하다. ZEC는 앞서 취약점 패치 이후에도 40% 가까이 하락했다. 이번 증명 공개가 공급 무결성에 대한 의심을 얼마나 줄일지는 오차드 자금 이전 과정에서 확인될 전망이다.