Zcash Trades Trust for Proof | AIChainDay

한국어 요약by Claude · 2026. 7. 29.

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

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

0단 자동

AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.

규칙 판: 규칙 판 도입 이전 기사입니다.
남기는 것: 규칙 판 · 모델 · 시각
판 기록: 아직 없습니다.

블록체인2026년 7월 28일AI 점수: 90%

Zcash Trades Trust for Proof

출처:Bankless

AI 인사이트

개발자투자자

1.지쯼시 아이언우드 업그레이드 활성화…결함 노출된 Orchard 풀을 형식 검증된 새 풀로 교체
2.Lean 증명 2,700여 개 정리로 '잔액 무결성' 기계 검증…위조 ZEC 버그 부재를 수학적으로 보증
3.Orchard는 신규 입금 봉쇄, 턴스타일로 유출 상한…잠재 위조분을 구풀에 격리
4.차기 NU7은 블록 생성 25초·차폐 처리량 확대로 약 6배 성능 목표

왜 중요한가?

'감사가 불가능한 프라이버시'라는 은닉형 체인의 근본 딜레마를 형식 검증으로 정면 돌파한 사례다. 5월 Orchard 버그로 ZEC가 반토막 난 상황에서 두 달 만에 기계 검증 기반 풀 교체를 완료해, 프라이버시 프로토콜 보안의 새 기준(감사→수학적 증명)을 제시했다.

언급 프로젝트

Zcash Shielded Labs Zcash Foundation Tachyon

AIChainDay 편집노트왜 이 기사를 골랐나

지캐시(Zcash)의 아이언우드 업그레이드는 '신뢰' 대신 '증명'에 기반한 프라이버시 기술을 강화하여 블록체인의 핵심 가치를 높였습니다. 이는 국내 블록체인 개발 및 연구에도 높은 수준의 보안 및 검증 기술 도입의 중요성을 시사하며, 개인정보 보호와 투명성이라는 두 마리 토끼를 잡으려는 노력을 보여줍니다. 한국의 블록체인 프로젝트들도 형식 검증 등 강화된 보안 기술을 통해 사용자 신뢰를 확보하는 방안을 적극 모색해야 합니다.