지캐시(ZEC)는 새롭게 도입된 익명 자금풀 아이언우드(Ironwood)의 균형 무결성에 대한 검증 결과로 2700개 이상의 기계 증명을 발표했다. 이는 거래 금액과 참여자 정보를 숨기는 프라이버시 구조 안에서 공급량에 대한 신뢰성을 강화하고자 하는 노력으로 해석되고 있다. 개발팀인 프로젝트 타키온(Project Tachyon)은 여러 연구팀의 협업을 통해 한 달 이상 작업한 결과를 28일(현지 시간) 공유했으며, 이 증명은 정리 증명 언어인 린(Lean)으로 작성되었다.
이번 검증의 중심 개념은 ‘균형 무결성(balance integrity)’이다. 이는 익명 자금풀이 공개적으로 들어온 가치를 초과하여 자금을 내보내지 않도록 보장하는 규칙을 의미한다. 프라이버시 코인인 지캐시는 거래의 금액과 참여자를 숨기는 구조 때문에 외부에서 쉽게 공급량의 변동을 판단하기 어렵다. 따라서 이번 검증은 아이언우드의 영지식 증명 시스템 및 관련 요소들을 포괄하는 것으로 설명된다. 다만 검증은 특정 암호학적 가정 하에 성립하며, 아이언우드의 프라이버시 보장은 이번 검증의 범위에 포함되지 않았다.
새로운 자금풀인 아이언우드는 지캐시의 NU6.3 업그레이드로 도입되었고, 이 과정에서 기존의 오차드 풀은 봉인되었다. 오차드 풀에서는 이론적으로 탐지되지 않는 ZEC 위조의 가능성이 제기되었고, 지캐시 개발진은 이 결함이 실제로 악용된 사례는 없다고 밝혔으나, 프라이버시 구조에서의 공급 신뢰가 손상될 경우 네트워크 전체의 신뢰 문제로 확대될 수 있다는 우려가 제기되었다.
아이언우드로 이전되는 자금은 턴스타일(turnstile)이라는 공개 회계 장치를 거쳐야 하며, 이는 기존 풀에서 발생한 자금의 유입량을 공개적으로 검증한다. 이를 통해 검증된 금액 이상의 자금이 새로운 풀로 전이되는 것을 방지하는 절차를 마련하고 있다.
형식 검증은 코드가 의도한 대로 작동하는지 수학적으로 확인할 수 있는 방법으로, 일반적인 감사와는 달리 특정 수학적 논리와 기계 검증을 통해 예외 없이 이뤄진다. 하지만, 검증 시 제시된 암호학적 가정이나 실제 구현 과정에서의 문제가 발생하면 검증의 결과 역시 달라질 수 있다는 점은 주목할 만하다.
시장 반응은 여전히 신중하다. ZEC는 패치 이후 약 40% 가까이 하락한 상황이며, 이번 검증 공개가 공급 무결성에 대한 의혹을 축소하는 데 얼마나 기여할지는 오차드에서 아이언우드로 자금 이전 과정에서의 턴스타일 회계의 작동을 통해 확인될 전망이다. 전체적으로 지캐시의 이번 검증은 프라이버시 코인에서 빈번히 발생하는 공급량 신뢰 문제를 기술적으로 해결하기 위한 중요한 시도로 이해된다. 그러나 검증이 균형 무결성에 한정되고, 암호학적 가정이 필요하다는 점에서 시장의 반응이 긍정적으로 변할지는 미지수이다.
