简体中文

繁體中文

English

Tiếng Việt

한국어

日本語

ภาษาไทย

Türkçe

'무한 발행'이 실제로 발생했나? Zcash 창립자가 시장의 4대 의문에 답하다

이 글을 읽으려면 16 분

Ironwood 업그레이드 이후, 사용자는 Zcash가 초과 발행되었는지 직접 확인할 수 있습니다.

원문 제목: Orchard 취약점에 관한 네 가지 질문
원문 저자: Jason McGee, Shielded Labs CEO, Zooko Wilcox, Zcash 창립자
원문 편집: 진샤오펑, Odaily Planet Daily

편집자 주: 6월 5일 베이징 시간, 프라이버시 프로젝트 Zcash의 차세대 프라이버시 풀 Orchard에 심각한 위조 취약점이 존재했던 것으로 드러나며, Zcash 토큰 ZEC가 한때 반토막 나 최저 250달러 부근까지 하락했습니다.

약 10일간의 여파 속에서 시장의 공포 심리가 다소 완화되었고, ZEC 가격도 회복세를 보이며 오늘 다시 500달러를 되찾았습니다. (추천 읽기: 《4년간 잠복한 '무한 인쇄' 취약점, 프라이버시 코인 ZEC 하루 만에 반토막》)

오늘 오전, Zcash 창립자 Zooko Wilcox가 다시 장문의 글을 발표하며 시장의 우려 사항에 답변했습니다.

그는 Orchard 취약점이 이전에 악용되지 않았을 가능성이 높으며, 합법적인 Orchard 자금은 회수 가능하다고 밝혔습니다. 현재 사용자가 Zcash 공급량 초과 여부를 직접 검증할 수는 없지만, Ironwood 업그레이드를 통해 Orchard 풀을 봉인하고 이 검증 능력을 복원할 예정입니다. 지속적인 감사에서 다른 위조 취약점은 발견되지 않았지만, 완전히 확정하려면 추가 작업이 필요합니다.

최근 Orchard 취약점은 Zcash 공급량과 사용자 자금 안전에 관한 중요한 문제를 제기했습니다. 논의 속에 여러 다른 이슈가 혼재되어 있어, 이 취약점이 사용자에게 미치는 실제 영향을 이해하기 어렵게 만들었습니다. 이 글은 이러한 문제를 분리하여 각각이 사용자에게 의미하는 바를 설명하고자 합니다.

Orchard 취약점은 네 가지 중요한 질문을 제기합니다:

1. Orchard 취약점이 이전에 악용된 적이 있습니까?

2. 합법적인 Orchard 자금을 회수할 수 있습니까?

3. 사용자가 Zcash 공급량이 초과 발행되지 않았음을 검증할 수 있습니까?

4. 다른 위조 취약점이 존재하지 않는다는 것을 어떻게 알 수 있습니까?

Orchard 취약점이 실제로 악용된 적이 있나요?

알려지지 않았습니다. 완전히 배제할 수는 없지만, 이전에 악용되었을 가능성은 낮다고 생각합니다. 취약점이 악용되지 않았을 것으로 보는 이유는 세 가지입니다:

수년간 전 세계의 많은 최고 암호학자와 보안 연구원들이 지속적으로 검토했음에도 불구하고, 이 취약점은 이전에 발견되지 않았습니다. 최종 발견은 우연이 아닙니다. Shielded Labs의 Taylor Hornby가 악의적인 공격자가 먼저 발견하기 전에 이러한 보안 취약점을 능동적으로 식별하기 위해 발견한 것입니다.

Taylor는 고급 AI 지원 보안 연구 기술과 특별히 제작된 맞춤형 도구를 사용했습니다. 이 도구는 다른 사람들이 놓친 미세한 결함을 찾아내기 위해 설계되었으며, Zcash 코드베이스에 깊이 익숙하지 않은 사람에게는 이를 수행하는 것이 훨씬 더 어렵습니다.

취약점이 발견되자, Zcash 개발자(Zcash Open Development Labs 팀 주도)는 신속하게 채굴 풀과 협력하여 Orchard 풀을 일시적으로 동결하고 수정 사항을 배포하여 공격 가능성을 제한했습니다.

암호화폐 취약점 악용은 흔하며, 공격자는 특히 취약점이 공개된 후 가능한 한 빨리 현금화하려고 합니다. 공격자가 이 취약점을 통해 이익을 얻으려면 위조된 ZEC를 가치 있는 자산으로 교환해야 하며, 이는 일반적으로 ZEC가 턴스타일(turnstile) 메커니즘을 통해 Orchard 풀 밖으로 유출되는 결과를 초래합니다.

수정 전에 취약점이 악용되었다면, 지금쯤 증거가 나타났을 것으로 예상됩니다. 역사적으로 암호화폐 취약점 악용은 일반적으로 수개월 또는 수년 동안 숨기는 '4D 체스' 전략보다는 '약탈' 방식으로 이루어졌습니다.

합법적인 Orchard 자금을 회수할 수 있나요?

가능하다고 생각합니다. 취약점이 악용된 적이 없다고 판단하기 때문입니다. 이 판단이 맞다면, 모든 합법적인 Orchard 자금은 완전히 회수 가능합니다.

반면, Orchard에서 실제로 위조가 발생했다면, 기존 턴스타일 메커니즘은 총 이동량을 해당 풀에 합법적으로 들어온 ZEC 금액으로 제한합니다.

따라서 위조 자금이 합법적인 자금보다 먼저 이동되면, 사용자는 합법적인 Orchard 자금의 일부 또는 전부를 회수하지 못할 수 있습니다.

이러한 상황이 발생할 가능성은 낮다고 판단됩니다. 하지만 더 신중한 사용자라면 Orchard에서 ZEC를 이동시키는 것이 좋습니다.

단, 이를 수행하기 전에 다음 사항을 숙지해야 합니다:

· 투명 풀로 자금을 이동하면(즉, t 주소로 전송) 전송 금액과 전송 시간이 모두 노출되며, 해당 자금은 해당 t 주소와 공개적으로 연결됩니다.

· Orchard 풀에서 Sapling 풀로 자금을 이동하면 전송 금액과 전송 시간이 노출되지만, t 주소로 전송하는 것과 달리 특정 주소나 거래 내역과 연결되지는 않습니다.

· Sapling 풀은 2018년에 진행된 신뢰 설정 의식(Trusted Setup Ceremony)에 의존합니다. 이 신뢰 설정의 보안성에 의존하는 것은 사용자가 주의해야 할 추가적인 위험 요소입니다.

· 현재까지 알려진 바로는 YWallet과 Zkool이 Sapling 풀을 지원하는 널리 사용되는 자체 보관 Zcash 지갑입니다.

· 새 지갑이나 관리 서비스로 자금을 이동하면 사용자 실수, 소프트웨어 결함, 관리자 위험 또는 기타 예측 불가능한 문제를 포함한 추가 위험이 발생합니다.

전반적으로, 위의 위험 수준은 적당하다고 판단됩니다.

현재 자금이 차폐된 자체 보관 지갑에 보관되어 있다면, 이전 위조 가능성이 낮다고 평가한 점을 고려할 때 그대로 두는 것이 합리적인 선택입니다. 안전한 방법이 있다면 자금을 다른 곳으로 이동하는 것도 합리적일 수 있습니다. 사용자는 자신의 상황에 따라 다른 결론을 내릴 수 있습니다.

사용자가 Zcash 공급량이 증가되지 않았는지 확인할 수 있나요?

현재로서는 불가능합니다. 이전에 존재했던 취약점으로 인해 사용자가 현재 차폐 풀에서 유통되는 ZEC가 정확한 수량을 초과하지 않았는지 독립적으로 확인할 수 없었습니다.

그러나 이전 글에서 지적했듯이, Ironwood 업그레이드는 이 기능을 복원했습니다. 아래 그림이 그 이유를 설명합니다.

제안된 네트워크 업그레이드는 "더 이상 알려지지 않은 위조 취약점이 존재하지 않는다"는 보장을 추가하고 Orchard 풀을 봉인함으로써 이 문제를 해결합니다. 새로운 자금은 더 이상 유입될 수 없으며, 풀 내 자금도 더 이상 유통될 수 없습니다.

남은 유일한 경로는 기존의 회전문 메커니즘을 통해 나가는 것이며, 이 메커니즘은 Orchard 풀에서 전송되는 ZEC가 합법적으로 유입된 양을 초과하지 않도록 보장합니다.

이 변경은 Zcash 공급량 건전성을 검증할 수 있는 능력을 회복시킵니다.

현재, Orchard 풀에 위조 자금이 존재한다면, 풀 내에서 계속 유통될 수 있습니다. 업그레이드 이후에는 이것이 더 이상 불가능해집니다. 위조가 발생했는지 여부와 관계없이, 노드를 실행하는 모든 사람은 유통 중인 ZEC가 정확한 양을 초과하지 않음을 검증할 수 있습니다.

사용자는 Orchard에서 자금이 이전될 때까지 기다리거나, 공격자나 다른 사용자의 잠재적 행동을 추론할 필요가 없습니다. 프로토콜 자체가 검증 가능한 보장을 제공합니다: 초과 ZEC는 Orchard 내에서 계속 유통되어 공급량을 부풀릴 수 없습니다.

이는 Zcash의 장기적 신뢰성이 사용자가 자체적으로 공급량 건전성을 검증할 수 있는지에 달려 있기 때문에 중요합니다. Ironwood는 사용자가 프로토콜의 공급 제한이 시행되고 있는지 독립적으로 검증할 수 있는 능력을 회복시켰습니다.

다른 위조 취약점이 없다는 것을 어떻게 알 수 있나요?

현재로서는 완전히 확신할 수 없지만, 다른 취약점이 존재하지 않는다고 믿을 만한 이유가 있습니다. Shielded Labs와 여러 다른 팀들은 Zcash 프로토콜에서 다른 위조 취약점이 있는지 면밀히 검토해 왔습니다.

여기에는 Anthropic의 도움을 받아, Mythos가 중단되기 직전에 아직 출시되지 않은 Mythos AI 모델을 사용하여 추가 취약점을 검색한 작업도 포함됩니다. 우리는 후속 블로그 게시물에서 이 검토와 그 발견에 대한 더 자세한 내용을 공유할 계획입니다.

현재까지 다른 위조 취약점은 발견되지 않았습니다. 이 검색에 투입된 높은 수준의 전문성, 노력, 그리고 고급 AI 지원 분석 덕분에 유사한 취약점이 아직 발견되지 않았다는 확신이 더 커졌습니다.

또한, 우리는 Tachyon Project와 같은 프로젝트와 협력하여 Zcash에 더 이상의 위조 취약점이 없음을 추가로 보장하고 있습니다. 이에 대해서도 향후 블로그 게시물에서 더 설명할 예정입니다.

결론

Orchard 취약점은 네 가지 중요한 문제를 제기합니다: 취약점이 악용되었는지 여부, 합법적인 Orchard 자금을 회수할 수 있는지 여부, 사용자가 Zcash 공급량이 증가되지 않았음을 검증할 수 있는지 여부, 그리고 아직 발견되지 않은 다른 위조 취약점이 존재하는지 여부.

이전에 악용되었을 가능성은 낮다고 판단되므로, 합법적인 Orchard 자금은 회수 가능하며 현재 Zcash 공급량도 안전합니다. 여러 독립 연구자 및 팀의 지속적인 검토를 바탕으로, 다른 발견되지 않은 위조 취약점이 존재하지 않는다는 확신도 점점 커지고 있습니다.

그러나 사용자는 현재 Zcash 공급량의 안전성을 검증할 수 없으며, 원래 우리의 평가나 다른 누군가의 평가에 의존해서는 안 됩니다.

제안된 네트워크 업그레이드는 이 문제를 해결합니다. Orchard 풀을 동결함으로써 사용자가 Zcash 공급량의 안전성을 독립적으로 검증할 수 있는 능력을 복원합니다. 사용자는 더 이상 위조가 발생했는지 여부를 판단할 필요 없이, 프로토콜의 공급 제한이 준수되고 있는지 확인할 수 있습니다.