Ironwood: 유통량 건전성 검증 제안

Shielded Labs의 Zooko Wilcox, Jason McGee, Taylor Hornby가 Zcash Foundation, Tachyon Group, Valar Group, ZODL과 함께 Ironwood 제안을 포럼에 올렸다. 지난주 Orchard 풀에서 치명적인 위조 취약점이 발견됐고, ZODL 등이 조율한 긴급 네트워크 업그레이드로 6월 2일 해결됐다. 악용됐을 가능성은 낮다고 보지만 Orchard의 프라이버시 특성상 사용자가 직접 확인할 수 없다. Ironwood는 유통량의 건전성을 사용자가 검증할 수 있는 능력을 복원하려는 제안이다.

Ironwood는 위조 취약점을 고친 Orchard 회로로 새 쉴디드 풀을 만들고, 기존 Orchard 풀에 새 출력을 만드는 트랜잭션을 무효로 거부하며, AI 보조 보안 감사와 형식 검증 등으로 추가 위조 버그가 없다는 보증을 높인다. 활성화 이후 Orchard 자금은 turnstile을 통해서만 풀을 나갈 수 있고, turnstile은 각 풀의 유입·유출량을 추적해 정당하게 들어온 것보다 많이 나가려는 트랜잭션을 거부한다. 그래서 활성화 즉시 활성 풀들의 잔액을 합산하는 것만으로 유통량이 올바른지 검증할 수 있고 마이그레이션을 기다릴 필요가 없다.

Ironwood는 취약점 악용 여부에 대한 증거도 낼 수 있지만 목표 달성이 그 증거에 달려 있지는 않다. 위조자가 있다면 마이그레이션 때 위조 자금을 옮겨 존재를 드러내거나 두고 가서 나중에 못 쓰게 되는 선택에 직면한다. 초과 ZEC가 나가려는 시도가 없다면 악용이 없었다는 강한 증거이고, 시도가 있다면 그 자금은 풀을 떠나지 못해 사실상 소멸하며 위조가 있었다는 공개 증거가 된다. 후자는 유통량 보존에 필요한 결과이며 가능성이 낮다고 본다.

Orchard를 지원하는 모든 지갑은 새 풀을 지원해야 하며, 활성화 전까지는 기존 Orchard를 정상 지원하다 이후 자금을 새 풀로 옮겨야 한다. 마이그레이션은 이체 금액과 시점을 드러내지만 영향은 크지 않고 지갑 동작으로 더 줄일 수 있다고 본다. 기존 Orchard 주소는 그대로 유효하다. 일정은 개발, 테스트, 조율에 걸리고 zcashd 폐기 진행의 영향을 받을 수 있어 보수적으로 말한다. Kris Nuttycombe가 구 풀의 출력 생성 차단을 제안한 것이 핵심이었다고 감사를 표한다.