한국어 요약by Claude · 2026. 7. 29.
Zcash 연구진이 새 차폐 풀 Ironwood에 탐지 불가능한 위조 버그가 없음을 보이는 형식 검증을 완료하고 기계 검증 증명을 공개했다. Project Tachyon에 따르면 Lean 언어로 작성된 이 증명은 2,700개 이상의 정리로 구성되며 세 팀의 연구자·암호학자가 한 달 넘게 투입됐다. 증명은 차폐 풀이 공개적으로 유입된 것보다 더 많은 가치를 지급할 수 없다는 '잔액 무결성(balance integrity)'을 보장하며, 영지식 증명 시스템·회로 규칙·원장 회계를 포괄하지만 프라이버시 보장은 다루지 않는다. Ironwood는 Orchard 풀에서 발견된 ZEC 위조 가능 취약점에 대응한 NU6.3 업그레이드로 도입됐으며, Orchard 자금은 '턴스타일' 공개 회계 체크포인트를 거쳐 이전되므로 과거 악용 여부의 증거도 축적될 전망이다.
- •Lean 언어로 작성된 2,700개 이상의 기계 검증 정리로 Ironwood 형식 검증 완료, 연구 3개 팀이 한 달 이상 투입
- •차폐 풀이 유입된 가치 이상을 지급할 수 없다는 '잔액 무결성' 속성 입증…프라이버시 보장은 검증 범위 밖
- •Ironwood는 Orchard 풀의 ZEC 위조 가능 취약점에 대응한 NU6.3 업그레이드로 도입
- •개발진은 해당 취약점이 실제 악용된 증거는 없다고 밝혀
- •Orchard 자금은 '턴스타일' 공개 회계 체크포인트를 거쳐 이전돼 과거 악용 여부 검증 가능성도 확대
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Zcash says Ironwood proof rules out undetectable counterfeiting bugs
출처:Cointelegraph
본문 미리보기
Zcash researchers published more than 2,700 machine-checked theorems designed to rule out undetectable counterfeiting bugs in Ironwood.
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
공유:
