OpenAI의 722편 AI 수학 논문, Bitcoin (BTC) 서명 보안에 촉각

OpenAI의 722편 수학 논문이 촉발한 암호학 논쟁

인공지능의 수학적 추론 능력이 빠르게 향상되면서 디지털 자산 업계가 술렁이고 있다. 다만 경보의 초점은 헤드라인이 암시하는 것보다 좁다. Bitcoin (BTC)과 Ethereum의 서명을 지탱하는 수수께끼, 즉 타원곡선 이산대수 문제(ECDLP)다. OpenAI가 한때 손대기 어렵다고 여겨졌던 문제를 다룬 AI 지원 수학 논문을 공개한 뒤, 업계 연구자들은 최근 며칠간 이 문제가 무너질 경우를 대비한 긴급 복구 방안을 공유해 왔다. 이 회사의 산출물은 AI가 생성한 수학 논문 722편에 이르며, 그중에는 현대 공개키 암호학의 이론적 기둥 두 개인 리만 가설과 P=NP 문제에 관련된 성과도 포함돼 있다. 두 문제가 완전히 풀린 것은 아니다. OpenAI 자료가 실제 공격 수단이라는 뜻도 아니다. 722편 가운데 수학자들이 증명을 한 줄씩 검증하는 형식 검증 도구 Lean을 통과한 논문은 162편이며, 결과의 재현 가능성을 두고 연구자들 사이 이견도 있다. 우려는 즉각적 위협이 아니라 구조적 성격이다. Bitcoin과 Ethereum은 모두 타원곡선 전자서명을 사용하고, 자산 소유 모델은 공개키에서 개인키를 도출하는 것이 계산상 불가능하다는 가정 위에 서 있다. 충분한 연산 능력으로 이 가정을 깨는 공격자가 나타나면, 노출된 공개키에서 개인키를 뽑아내 정당한 소유자 행세를 할 수 있다. 거래소의 커스터디부터 셀프 커스터디 하드웨어 월렛까지가 대상이다. 이 가정에 대해 수년간 지명된 위협은 양자컴퓨팅이었다. 인공지능은 위험의 형태를 바꾼다. 모델이 효율적인 알고리즘을 찾아내면 양자머신 없이 평범한 하드웨어에서 실행된다는 점 때문이다. 지금까지 위험은 가정에 머문다. ECDLP에 대해 독립 검증된 알고리즘은 존재하지 않으며, 커뮤니티의 긴장은 입증된 해킹이 아니라 진행 방향에서 나온다. 비트코인 가격은 이 논쟁에 아무런 반응을 보이지 않았다.

해시 기반 백업 키와 킬 스위치

암호학 계층이 무너지면 블록체인이 은행보다 훨씬 큰 타격을 입는다. 이 비대칭성이 지금 진행 중인 대응 논의의 출발점이다. 중앙화된 금융기관은 고객 신원을 다시 검증하고 인증 체계를 교체할 수 있다. 반면 암호화폐 거래소가 아니라 블록체인 자체에는 모든 계정의 소유권을 한꺼번에 확인할 관리자가 없다. 그래서 개인키가 침해된 사용자를 어떻게 보호하고 정당한 소유권을 어떻게 복원할 것인가가 열린 과제다. 진영이 둘로 갈렸다. Ethereum 연구원 Justin Drake는 공개키 노출을 최소화하는 주소로 자산을 미리 옮기는 방안을 제안했다. 사고 이후가 아니라 사고 이전의 대피다. Ethereum 공동창업자 Vitalik Buterin은 성급한 자산 이동 자체가 사용자 실수를 낳는다고 반박했다. Dragonfly의 관리파트너 Hashib Qureshi도 대피론을 응징하며, 규모를 넓힌 설계를 내놓았다. 프로토콜 수준의 긴급 암호학 복구 모드다. 그의 계획은 사용자가 기존 주소에 미리 해시 기반 백업 키를 등록하도록 요구한다. 해시 기반 암호학은 주요 체인이 쓰는 타원곡선 방식보다 단순하고, 수학적 패턴에 의존하지 않기 때문에 AI 추론에 저항한다. 이것을 깨는 유일한 길은 사실상 무한에 가까운 규모의 무차별 대입이다. 구조는 단순하지만 방어 가치는 높다. 타원곡선 서명의 심각한 취약점이 확인되면 검증인들이 합의로 킬 스위치를 작동시켜 AI가 해독한 서명을 멈추고, 모든 지갑이 해시 기반 보호막 뒤에서 시간을 벌게 된다. 이 방식은 느리고 비용이 많이 든다. 지지자들은 그것을 대체재가 아니라 비상 브레이크로 내세운다. 백업 키를 등록하지 않은 사용자를 위해서는 시드 문구의 영지식 증명으로 기존 자산의 소유권을 입증하고 새 주소를 발급받는 경로가 제안됐다. 세 번째 논의는 proof-of-work 퍼즐의 난이도를 올리는 방향이다. 자산을 회수하는 데 필요한 연산량을 자산 규모와 경과 시간에 비례해 늘리는 방식이다.

아무도 확정하지 못한 지점

우리의 판단은 이렇다. 이번 경보는 해킹이 아니라 논쟁으로서 거래되고 있다. 이 이야기의 결정적 숫자는 Lean 검증 통과 편수, 즉 722편 중 162편이다. 누구도 내놓지 못한 유일한 객관적 지표이며, 새 수학의 대부분이 암호학이 요구하는 수준까지 증명되지 않았다는 뜻이다. 논거의 주고받기만으로는 아무것도 확정되지 않는다. Drake의 사전 이동과 Qureshi의 프로토콜 수준 복구는 서로 다른 질문에 답한다. 하나는 개인의 안전이고 다른 하나는 체인 전체의 복원이다. Buterin의 반대는 전자에는 적용되지만 후자에는 적용되지 않는다. 사안을 종결시킬 것은 하나다. 효율적이고 독립 검증된 ECDLP 알고리즘. 그것이 시연되기 전까지는, 이견 자체가 이야기다.