새로운 Ironwood Shielded Pool을 형식 검증(Formal Verification)으로 증명하고 있습니다.
형식 검증은 프로그램을 테스트하는 것이 아니라, 수학적으로 "이 코드가 설계대로만 동작한다"는 것을 증명하는 방식입니다. 항공우주, 반도체, 암호학처럼 오류를 허용하기 어려운 분야에서 사용하는 검증 기법입니다.
Zcash가 특히 검증하려는 부분은 '감지조차 불가능한 위조(Bug)'입니다.
프라이버시 코인은 거래 내역이 숨겨져 있기 때문에, 만약 암호학적 결함으로 위조 코인이 생성되더라도 일반적인 방법으로는 발견하지 못할 가능성이 있습니다.
Ironwood는 이런 최악의 시나리오까지 프로토콜의 수학적 구조 자체를 검증해 원천적으로 배제하는 것을 목표로 합니다.
프라이버시를 유지하면서도 통화 공급량의 무결성을 수학적으로 보장하려는 시도라는 점에서, Zcash의 기술적 완성도를 한 단계 끌어올리는 업데이트로 볼 수 있습니다.