지캐시(ZEC)는 최근 새로운 익명 자금풀인 아이언우드(Ironwood)의 균형 무결성을 확인하기 위한 2700개 이상의 기계 검증 증명을 공개했다. 이는 거래 금액과 참여자를 숨기는 프라이버시 구조 안에서 공급량의 신뢰를 보강하려는 노력으로 해석된다.

개발 조직인 프로젝트 타키온(Project Tachyon)는 28일(현지 시각) 세 개의 연구팀과 암호학자가 한 달 이상 협력하여 이 작업을 수행했으며, 증명은 정리 증명 언어인 린(Lean)으로 작성되었다고 전했다. 이 검증의 핵심은 '균형 무결성(balance integrity)'이라는 개념으로, 이는 익명 자금풀이 공개적으로 유입된 가치보다 더 많은 금액을 외부로 유출시킬 수 없도록 하는 조건이다. 프라이버시 코인에서는 거래의 금액과 참여자의 신원을 숨기는 구조로 인해, 공급량이 조작되더라도 쉽게 확인하기 어렵기 때문에 이러한 검증이 중요하다.

연구진은 이번 검증이 아이언우드의 영지식 증명 시스템, 회로 규칙, 그리고 원장 단위 회계 등 다양한 관련 구성 요소를 포함한다고 설명했다. 그러나 이 검증은 '명시된 암호학적 가정'에 기초하여 성립하며, 아이언우드의 프라이버시 보장을 직접적으로 증명하는 것은 아니다. 아이언우드는 지캐시의 NU6.3 업그레이드로 도입되었으며, 이 업그레이드로 블록 높이 342만8143에서 아이언우드 기능을 활성화하고 기존 오차드(Orchard) 풀을 봉인한 바 있다.

기존의 오차드 풀에서는 이론적으로 탐지되지 않는 ZEC 위조의 위험이 제기되었고, 지캐시 개발팀은 해당 결함이 실제로 악용되었는지는 확인되지 않았다고 밝혔다. 그러나 프라이버시 구조에서 공급량의 신뢰가 흔들리면 네트워크의 신뢰에 부정적인 영향을 미칠 수 있다. 따라서 지캐시는 기존 구조 대신 새 익명 자금풀로의 전환을 결정하게 된다.

오차드에서 아이언우드로 자금을 이전하는 과정에는 '턴스타일(turnstile)'이라는 공개 회계 장치가 필요하다. 이 장치는 이전된 자금의 유입량을 공개적으로 검증해, 검증된 금액 이상으로 새로운 풀로 자금이 유입되는 것을 방지하는 역할을 한다. 형식 검증은 코드가 의도한 대로 작동하는지 수학적으로 확인하는 절차로, 일반적인 코드 감사와는 달리 기계적으로 예외가 없는지를 증명하는 방식이다. 다만, 사전에 설정된 암호학적 가정이나 실제 구현 과정에 문제가 발생하면 검증의 의미가 달라질 수 있다.

시장 반응은 여전히 신중한 분위기다. ZEC는 취약점 패치 이후 한때 40% 가까이 하락했고, 이번 증명 공개가 공급 무결성에 대한 의혹을 얼마나 해소할지는 오차드 자금 이전 과정에서 주목할 만하다. 따라서 지캐시의 이번 검증 시도가 공급량 신뢰의 논란을 기술적으로 줄이는 계기가 될지는 향후 관찰이 필요하다.

결론적으로, 지캐시의 검증 공개는 프라이버시 코인에서의 공급 신뢰 문제를 이론적으로 완화하려는 기술적이고 전략적인 시도로 평가된다. 하지만, 검증이 균형 무결성에 한정되고 있으며, 시장의 반응은 여전히 신중하기 때문에 주의 깊은 모니터링이 요구된다.