ZEC 급락 반토막 배후: 악용 여부조차 증명할 수 없는 '무한 발행' 취약점

TL;DR

· Orchard에서 무제한으로 감지 불가능한 위조 ZEC를 생성할 수 있는 취약점이 발견되어 수정되었지만, 커뮤니티는 지난 약 4년간 이 취약점이 악용된 적이 없다는 것을 증명할 수 없습니다.

· ZEC가 30% 이상 폭락한 본질은 시장이 Zcash의 공급량 신뢰성을 다시 의심하기 시작했기 때문입니다.
관련 종목: ZEC (Zcash), Anthropic (미상장)

6월 5일, Zcash 창립자 Zooko Wilcox는 드문 보안 회고 글을 게시했습니다.

해당 글에 따르면, 보안 연구원 Taylor Hornby가 5월 29일 Zcash 최신 프라이버시 풀 Orchard에서 심각한 위조 취약점을 발견했습니다. 공격자는 원래 검증을 통과하지 못해야 할 거래를 조작하여 Orchard 내부에서 무제한으로 감지 불가능한 위조 ZEC를 생성할 수 있습니다.

이는 이론적 위험에 그치지 않습니다. Taylor는 로컬 테스트 환경에서 완전한 익스플로잇 프로그램을 작성하여 실제로 위조 ZEC를 생성했습니다. 동일한 프로그램이 메인넷에 배포된다면, 공격자는 이론적으로 자신의 메인넷 지갑에서 무제한의 위조 자산을 생성할 수 있습니다.

소식이 공개된 후 ZEC는 한때 30% 이상 하락했습니다. CoinMarketCap 데이터에 따르면, ZEC는 24시간 내 최저 408.39달러까지 떨어져同期 고점 610.47달러 대비 약 3분의 1 하락했습니다. 안타깝게도 이는 최근 암호화폐 시장에서 드문 부의 효과가 뛰어난 종목으로, 수많은 전문가들이 주목한 좋은 스토리를 가지고 있었으나 이번 취약점으로 완전히 무너졌습니다.

결과만 보면 이는 또 한 번의 익숙한 암호화폐 보안 사고처럼 보입니다: 취약점 발견, 개발자 긴급 수정, 시장 패닉.

하지만 Orchard 사건의 진짜 까다로운 점은 취약점이 수정되었음에도 Zcash 커뮤니티가 더 민감한 또 다른 질문에 직접 답할 수 없다는 데 있습니다:

지난 4년 동안 이미 누군가 이 취약점을 악용했을까?

4일간의 긴급 수정, Orchard 일시 중단

Orchard는 Zcash가 2022년에 도입한 차세대 프라이버시 결제 프로토콜로, 현재 Zcash가 주로 사용하는 프라이버시 풀 중 하나입니다. 사용자는 잔액, 거래 금액 및 자금 흐름을 숨기면서 영지식 증명을 통해 네트워크에 거래가 규칙을 준수함을 증명할 수 있습니다.

Zooko, Shielded Labs 및 Zcash 커뮤니티가 공개한 타임라인에 따르면, Taylor는 5월 29일 Orchard 회로에 대한 보안 검토 중 이상을 발견하고 즉시 해당 취약점을 Zcash Open Development Lab(ZODL)에 비공개로 제보했습니다. Shielded Labs는 스위스에 본사를 두고 기부금으로 운영되는 독립적인 Zcash 생태계 지원 조직으로, Zcash의 프로토콜 개발, 보안 및 네트워크 지속 가능성 구축에 장기적으로 참여해 왔으며, Zcash Foundation이나 ZODL에 소속되지 않습니다.

ZODL 엔지니어들은 보고를 받은 후 몇 시간 내에 문제가 실제로 존재함을 확인하고 수정 방안을 찾기 시작했습니다. 코드 패치를 직접 공개하면 취약점 원리가 노출될 수 있기 때문에, 팀은 먼저 Orchard를 일시적으로 중단하기로 결정했습니다. 즉, 새로운 Orchard 출력 생성과 Orchard 내 기존 자금 지출을 모두 금지했습니다.

개발자, 채굴자, 노드 운영자, 거래소 및 인프라 서비스 제공업체의 조정된 업그레이드 이후, 긴급 소프트 포크는 6월 2일에 발효되었습니다. 이후 Zcash는 하드 포크 업그레이드를 통해 Orchard 회로의 검증 키를 업데이트하고, 6월 3일에 Orchard 기능을 복구했습니다. 투명 주소와 Sapling 프라이버시 풀은 이 기간 동안 계속 작동할 수 있었습니다.

취약점 공개부터 수정 완료까지 전체 과정은 단 며칠밖에 걸리지 않았습니다. 비상 대응 속도로 볼 때, 이는 상당히 성공적인 처리였습니다.

그러나 시장은 취약점 수정으로 인해 평온을 되찾지 못했습니다. 수정이 해결한 것은 미래일 뿐, 과거가 아니기 때문입니다.

시장이 우려하는 것은 공격이 여전히 발생할 수 있다는 점이 아니라, 공격이 이미 발생했을 가능성입니다

일반적인 보안 사고는 대개 비교적 명확한 손실 규모를 수반합니다. 스마트 계약이 도난당하면 온체인에서 공격자가 얼마나 많은 자산을 빼돌렸는지 추적할 수 있고, 크로스체인 브리지에 취약점이 발생해도 자금 흐름과 영향을 받은 주소를 집계할 수 있습니다.

Orchard 사건은 다릅니다.

Shielded Labs의 설명에 따르면, 이 취약점은 Orchard 내부에서 무한하고 감지 불가능한 위조 ZEC를 생성하는 데 사용될 수 있습니다. Orchard 자체가 프라이버시 속성을 가지고 있기 때문에, 외부에서는 암호학적 방법만으로는 취약점 수정 전에 누군가가 이 공격 경로를 이용했는지 정확히 증명할 수 없습니다.

이는 시장이 확정된 손실 숫자가 아닌, 정량화하기 어려운 불확실성에 직면하게 되었음을 의미합니다:

만약 과거에 실제로 누군가가 취약점을 발견하고 악용했다면, Orchard 내부에 이미 위조된 ZEC가 존재하는 것일까? 존재한다면, 그 규모는 정확히 얼마나 될까? 이러한 자산이 여전히 프라이버시 풀에 머물러 있는가? 아니면 정상적인 거래를 통해 점진적으로 유출된 적이 있는가?

더 중요한 점은, 이 리스크 윈도우가 5월 29일부터 시작된 것이 아니라는 사실이다. Shielded Labs에 따르면, 이 취약점은 Orchard가 2022년 5월에 활성화된 이후로 존재했으며, 2026년 6월 긴급 수정이 완료될 때까지 지속되었다. 즉, 문제가 거의 4년 동안 잠복해 있었다는 뜻이다.

시장이 진정으로 우려하는 것은 5월 29일부터 6월 2일 사이에 발생한 일이 아니라, 지난 4년 동안 직접 관찰할 수 없는 이상 현상이 이미 발생했는지 여부다.

이것이 바로 ZEC가 30% 이상 폭락한 핵심 이유이기도 하다.

시장이 매도하는 것은 단순한 취약점 하나가 아니라, 공급량 신뢰도에 대한 재평가다.

하나의 수학적 제약 누락이 '무한 발행' 리스크로 이어진 과정

'무한 발행 취약점'이라는 문구를 보면, 우리의 첫 반응은 해커가 관리자 권한을 장악했거나 일종의 프로토콜 백도어를 획득했다고 생각하는 것이다.

실제 상황은 훨씬 더 근본적이다.

Orchard의 보안은 일련의 영지식 증명 회로(Orchard circuit)에 의존한다. 사용자는 거래의 구체적인 내용을 숨길 수 있지만, 자신의 거래가 프로토콜 규칙을 충족한다는 것을 네트워크에 증명해야 한다. 가장 중요한 규칙 중 하나는 자산 보존이다: 거래를 통해 새로운 가치를凭空 창출할 수 없다.

간단히 말해, 사용자는 자신이 얼마나 많은 ZEC를 보유하고 있는지 공개할 필요도 없고, 누구에게 얼마나 많은 ZEC를 전송했는지 공개할 필요도 없지만, 네트워크는 다음을 확인할 수 있어야 한다:

지출된 자산이 실제로 합법적인 입력에서 비롯되었는지.

Taylor가 발견한 문제는 Orchard 회로 내의 타원 곡선 곱셈 검사에서 발생했다.

Shielded Labs는 이를 'under-constrained element', 즉 제약 조건이 불완전한 회로 요소라고 설명했다. 관련 수학적 관계가 완전히 제약되지 않았기 때문에, 공격자는 타원 곡선 곱셈 과정에 임의의 잘못된 데이터를 입력할 수 있지만, 검증 과정은 여전히 통과를 반환할 수 있다.

다시 말해, 공격자는 암호학 알고리즘을 해독할 필요도 없고, 네트워크 노드를 제어할 필요도 없다.

그들은 단지 존재해서는 안 되는 데이터 세트를 구성하여 시스템이 거래가 여전히 자산 보존을 충족한다고 잘못 믿게 만들면 됩니다.

이 잘못된 증명이 네트워크에 수락되면, 원래 존재하지 않았던 ZEC가 합법적인 자산으로 간주되어 Orchard 내에 계속 남아 있을 수 있습니다.

이것이 Shielded Labs가 극도로 강력한 표현을 사용한 이유입니다:

무제한적이고, 탐지 불가능한 위조 ZEC

진정으로 위험한 점은 '무제한'뿐만 아니라 '탐지 불가능'이라는 점입니다.

두 표현 사이에는 중요한 차이가 있습니다

Zcash Foundation은 업그레이드 완료 후 발표에서 현재까지 취약점이 악용된 증거가 발견되지 않았으며, 승인되지 않은 가치 창출이 감지되지 않았고, 사용자 자금과 프라이버시에 영향이 없다고 밝혔습니다. 또한 발표는 Zcash의 기존 Turnstile Accounting 메커니즘이 서로 다른 자금 풀 간의 가치 흐름을 추적하고 2,100만 개의 ZEC 총 공급량 상한을 보호할 수 있다고 강조했습니다.

동시에 Shielded Labs는 암호학적 증명만으로 Orchard 역사상 위조 ZEC가 발생한 적이 없다고 단정할 수 없다고 명확히 밝혔습니다.

이 두 주장은 모순되어 보이지만, 실제로는 서로 다른 수준의 문제에 초점을 맞추고 있습니다.

Zcash의 기존 Turnstile Accounting은 서로 다른 자금 풀 간의 '게이트'로 이해할 수 있습니다. 시스템은 Orchard에 들어온 합법적인 자산의 총량을 집계하고, Orchard에서 유출될 수 있는 자산 규모를 제한할 수 있습니다.

Orchard에 원래 100만 개의 합법적인 ZEC만 있었다고 가정하면, 공격자가 내부에서 더 많은 자산을 위조하더라도 시스템은 합법적인 규모를 초과하는 자산이 모두 유출되는 것을 허용하지 않습니다. 이렇게 하면 전체 Zcash 네트워크의 총 공급량 상한이 쉽게 돌파되는 것을 방지할 수 있습니다.

하지만 이 메커니즘은 Orchard 내부에 가짜 코인이 존재한 적이 없다는 것을 직접 증명할 수는 없습니다.

위조 자산이 여전히 Orchard 내에 남아 있거나, 합법적인 유출 한도 내에서 점진적으로 실제 자산을 대체하는 경우, 기존 통계 메커니즘은 완전한 역사적 결론을 내리지 못할 수 있습니다.

역사상 가장 오래된 암호화 프라이버시 프로젝트라고 할 수 있는 이 프로젝트에 대해 우리가 알 수 있는 것은, 현재까지 비정상적인 추가 발행 증거는 발견되지 않았지만, 커뮤니티는 여전히 Orchard 내부에 위조 자산이 존재한 적이 없다는 것을 직접 증명할 수 없다는 점입니다.

이것이 바로 시장이 가장 처리하기 어려워하는 위험 유형입니다.

문제는 이미 발견된 가짜 코인의 양이 아니라, 아무도 가짜 코인이 한 번도 존재한 적이 없다는 것을 완전히 확인할 수 없다는 점입니다.

Zcash는 Orchard에 가짜 코인이 없다는 것을 어떻게 다시 증명할까?

취약점 수정은 첫 번째 단계에 불과합니다.

Shielded Labs는 이미 다른 Zcash 개발자들과 함께 새로운 네트워크 업그레이드 제안을 연구 중이라고 밝혔습니다. 이方案에는 새로운 프라이버시 풀을 배포하고, Orchard에서 이전되는 모든 자산에 대해 Turnstile Accounting을 강제 적용하는 내용이 포함됩니다.

이는 Orchard에 새로운 이전 게이트를 설정하는 것과 같습니다.

기존 Orchard의 자산이 새로운 프라이버시 풀에 진입하려면 검증 가능한 규칙에 따라 이전을 완료해야 합니다. 시스템은 유출된 합법 자산의 규모를 다시 집계하고, 정상적으로 이전할 수 없는 추가 ZEC가 존재하는지 판단할 수 있습니다.

업그레이드가 성공적으로 완료되면, 누구나 Zcash 공급량의 무결성을 검증하고 Orchard에 위조 자산이 없음을 추가로 증명할 수 있습니다.

이方案의 의미는 단순히 코드를 수정하는 것이 아니라, Orchard에 대한 시장의 신뢰를 재구축하는 데 있습니다.

프라이버시 시스템에서 신뢰는 "우리는 공격이 발생하지 않았다고 생각한다"에서 오는 것이 아니라, "누구나 공격이 발생하지 않았음을 검증할 수 있다"에서 와야 하기 때문입니다.

Shielded Labs 자체도 이전에 악용될 확률이 낮았다고 인정했습니다. 취약점은 수년간 숨겨져 있었고 발견 난이도가 극도로 높았으며, Taylor는 전문 보안 연구 프로젝트에서 이러한 문제를 적극적으로 찾아냈고, 취약점 공개 후 생태계는 며칠 만에 공격 창구를 신속히 차단했습니다.

하지만 Shielded Labs는 사용자가 개발팀의 주관적 판단에만 의존해서는 안 된다고 강조합니다.

시장이 필요한 것은 증명입니다.

4년간 숨겨진 취약점, 왜 지금 발견되었을까?

Orchard 사건에는 시장이 간과하기 쉬운 또 다른 세부 사항이 있습니다.

5월 28일, Anthropic이 Claude Opus 4.8을 출시했습니다.

하루 후, Taylor가 Orchard 취약점을 발견했습니다.

Zooko와 Shielded Labs의 분석에 따르면, Taylor는 Opus 4.8이 출시된 직후 이를 고도로 정밀한 Orchard 회로 검토에 활용했으며, 5월 29일에 문제를 발견했습니다. 이후 Opus 4.8의 도움을 받아 완전한 익스플로잇을 작성하여 로컬 환경에서 무한하고 탐지 불가능한 가짜 ZEC를 생성했습니다.

이 세부 사항이 주목할 만한 이유는 AI가 이미 독립적으로 암호학 감사를 수행할 수 있기 때문이 아닙니다.

공개된 정보는 이러한 과장된 결론을 뒷받침하지 않습니다.

Taylor 본인은 경험이 풍부한 보안 연구원입니다. Shielded Labs는 또한 그가 전통적인 보안 연구 방법, 맞춤형 AI 도구 프레임워크, 그리고 특별히 설계된 프롬프트를 동시에 사용했다고 언급했습니다. Opus 4.8은 검토 과정에서 중요한 도구였지만, 유일한 요소는 아닙니다.

진정으로 주목할 점은 Taylor가 Anthropic이 사이버 보안 시나리오를 위해 특별히 제한적으로 공개한 Claude Mythos Preview가 아닌, 막 공개된 범용 모델 Opus 4.8을 사용했다는 사실입니다.

Anthropic은 Mythos Preview를 상당한 취약점 발견 및 익스플로잇 능력을 갖춘 최첨단 모델로定位하고 있습니다. 잠재적인 오용 위험 때문에 Anthropic은 이 모델을 일반 대중에게 직접 공개하지 않고, Project Glasswing을 통해 선별된 협력 파트너에게만 접근 권한을 제공하고 있습니다.

이와 대조적으로, Opus 4.8은 일반 개발자가 접근할 수 있는 범용 모델입니다. Anthropic은 출시 설명에서 코드 분석, 복잡한 작업 실행, 코드 결함 식별 능력이 향상되었다고 강조했습니다.

이로 인해 Orchard 사건은 더욱 주목할 만한 신호를 보냅니다:

고가치 취약점을 발견하는 능력이 소수의 전용 보안 모델에서 범용 모델로 확산되고 있습니다.

공개된 지 하루밖에 안 된 범용 모델이 전문 연구원의 지도 아래 복잡한 영지식 증명 회로를 검토하고, 거의 4년 동안 숨겨져 있던 핵심 취약점을 발견하는 데 기여할 수 있었습니다.

이는 암호학 전문가가 더 이상 중요하지 않다는 것을 의미하지 않습니다.

오히려 Taylor의 경험, 검토 대상 선택, 그리고 모델 출력에 대한 검증 능력은 여전히 전체 과정의 핵심입니다.

하지만 전문가와 AI의 조합은 복잡한 취약점을 발견하는 비용을 현저히 낮추고 있습니다.

취약점은 해결되었지만, 시장은 여전히 답을 기다리고 있다

Zcash의 경우 가장 시급한 공격 창구는 이미 차단되었습니다.

Orchard 기능이 복구되었고, 검증 회로가 업데이트되었으며, 현재 취약점이 악의적으로 이용된 증거도 없습니다.

하지만 ZEC가 30% 이상 폭락한 것은 시장이 단순히 코드 수정 여부만을 신경 쓰는 것이 아님을 보여줍니다.

시장은 여전히 더 철저한 답변을 기다리고 있습니다:

지난 약 4년 동안 Orchard 내부에서 실제로 위조 ZEC가 발생한 적이 있었을까요?

새로운 프라이버시 풀(Privacy Pool)과 Turnstile Accounting 업그레이드가 순조롭게 도입된다면, 커뮤니티는 결국 공급량 무결성을 입증하고 시장 신뢰를 재구축할 기회를 얻게 될 것입니다.

하지만 이 증명이 완료되기 전까지, Orchard 사건에는 쉽게 회피할 수 없는 미스터리가 남아 있습니다:

이론적으로 무한히 생성될 수 있었던 위조 ZEC는 결코 존재하지 않았던 것일까요, 아니면 아무도 직접 볼 수 없는 곳에 숨겨져 있었던 것일까요?

BlockBeats 공식 커뮤니티에 참여하세요:

Telegram 구독 그룹：https://t.me/theblockbeats

Telegram 토론 그룹：https://t.me/BlockBeats_App

Twitter 공식 계정：https://twitter.com/BlockBeatsAsia