Zcash 새로운 프라이버시 풀 Ironwood는 형식적 검증을 채택하여 탐지할 수 없는 증발 취약점을 근절할 계획입니다

Zcash 개발 팀은 곧 출시될 새로운 프라이버시 풀 Ironwood를 통해 형식적 검증을 도입하여 "검출할 수 없는 증발 취약점"의 위험을 수학적 증명 방식으로 제거할 계획을 발표했습니다.

이전 소식에 따르면, Orchard 차단 풀의 존재하는 취약점은 이미 수정되었고 이용된 증거는 없지만, 이론적으로 체인 상의 역사로 은밀한 증발이 발생했는지 확인할 수 없기 때문에 커뮤니티는 완전히 새로운 Ironwood 차단 풀을 출시하고 그 프로토콜에 대한 포괄적인 형식적 검증을 실시하기로 결정했습니다.