Tachyon, Ironwood 형식 검증 소급 신청

Project Tachyon이 Ironwood 긴급 대응에서 한 작업에 대해 Coinholder Retroactive Grants Program에 소급 그랜트를 신청했다고 포럼에 알렸다. 신청 제목은 Ironwood zk-SNARK 형식 검증이며 요청 금액은 738,942달러다. 내역은 외부 감사·형식 검증 인보이스 225,000달러, 외부 업체에 지급한 요율을 기준으로 2배를 적용한 자체 엔지니어링 506,942달러, 프런티어 모델 비용 7,000달러다. 2배는 며칠 안에 시작해 고정된 활성화 기한에 맞춘 비계획적 긴급 동원에 대한 프리미엄이라고 설명한다.

배경은 5월 29일 Taylor Hornby가 ZEC를 탐지 불가능하게 위조할 수 있는 Orchard 회로의 soundness 버그를 발견한 일이다. 버그는 패치돼 공개됐지만 쉴디드 풀이어서 공급량이 여전히 건전한지는 답할 수 없었다. 6월 6일 Tachyon은 Valar Group과 함께, ZF, Shielded Labs, ZODL과 조율해 Ironwood 대응을 공개 약속하고 Ironwood zk-SNARK의 형식 검증을 이끌겠다고 밝혔다. 이후 회로 변경을 구현하고 독립 검증 업체 둘의 비용을 댔다.

결과물은 Ironwood 활성화 당일인 7월 28일 공개됐다. 암호학적 가정을 전제로 새 풀에서 탐지 불가능한 위조를 허용하는 취약점이 Ironwood zk-SNARK에 없음을 보인 것으로, github.com/zcash/ironwood의 Lean 정리 2,700개 이상으로 구성된다. 회로 구현은 orchard PR #504로 6월 12일 열려 23일 병합됐다. 외부 검증은 zkSecurity에 15만 달러, Formal Land에 7만 5천 달러가 들었다. Tal Derei가 Lean 형식화를, Sean Bowe가 회로 구현과 검증 총괄을 맡았다.

신청서는 검증이 해결하는 범위와 해결하지 않는 범위를 밝힌다. zk-SNARK 구성(회로나 프로토콜 명세)에서 비롯한 탐지 불가능한 위조 버그는 배제하지만, 구현 버그와 암호학적 가정의 실패는 다루지 않는다. ZODL의 독립적인 작업, 활성화 이후의 추가 검증, 약 2개월의 로드맵 지연은 청구하지 않는다. 자금은 과거 Zcash 보유자의 사적 기부로 조달했고 이번 작업에는 별도 기부나 계약이 없었다. Jason McGee는 이 작업이 Ironwood의 건전성에 대한 확신을 크게 높였다며 소급 그랜트를 강하게 지지한다는 입장을 냈다.