지캐시(Zcash)가 지난 5월 발견된 오차드(Orchard) 실드풀의 위조 취약점을 근본 해결한 아이언우드(Ironwood) 업그레이드를 가동했다. 2022년 출시 이후 존재하던 이 버그는 이론상 위조 ZEC를 탐지 없이 발행할 수 있어 공개 직후 ZEC 가치가 절반 넘게 폭락했다. 아이언우드는 수정된 회로와 Halo 2 증명 시스템을 재적용하되, 암호학자들이 한 달여간 Lean으로 2,700개 이상 정리를 담은 공개 증명을 작성해 '잔액 무결성'을 수학적으로 기계 검증(formally verified)했다는 점이 핵심이다. 기존 오차드는 신규 입금이 차단되고 출금은 '턴스타일' 검문으로 검증된 입금액까지만 허용된다. 감사·테스트를 넘어 수학적 증명 기반으로 프라이버시를 보장하려는 시도다.

• •지캐시가 오차드 실드풀의 위조 취약점을 근본 해결한 아이언우드 업그레이드 가동
• •2022년부터 존재하던 버그는 위조 ZEC 발행 가능성으로 ZEC 가치가 절반 넘게 폭락
• •암호학자들이 Lean으로 2,700개 이상 정리를 담은 공개 증명을 작성해 '잔액 무결성'을 기계 검증
• •새 실드 결제는 자동으로 아이언우드로 라우팅, 오차드는 입금 차단·턴스타일 출금 상한 적용
• •후속 NU7 업그레이드로 블록 생성 시간 75초→약 25초, 실드 처리량 약 6배 향상 목표