OpenAI의 ETH 반증 주장, 독립 검토 진행

OpenAI는 지수 시간 가설(어려운 문제를 푸는 데 필요한 시간을 추정하는 가설)을 반박했다고 주장했으며, 연구자들은 이를 독립적으로 검토하고 있습니다. 그러나 이 결과가 비트코인에 대한 실용적 공격을 입증하지는 않습니다. CryptoSlate의 검토는 논문 1~8쪽의 도입부에 한정돼 전체 증명을 평가하지 않았습니다. 검토를 조직하는 연구자들은 참여 자체가 주장을 인증한다는 뜻은 아니라고 밝혔습니다.

10월 17일 작성돼 10월 25일 수정된 원고는 고정 폭 불리언 공식의 만족 해답 수를 정확히 세는 결정적 알고리즘이 아지수 시간과 다항 공간에서 작동한다고 주장합니다. 문제 규모가 커질수록 실행 시간이 지수적 경계보다 느리게 증가한다는 뜻이며, 현재 컴퓨터에서 문제가 쉬워진다는 의미는 아닙니다. 공개된 시간 경계는 다항 시간 알고리즘을 입증하거나, 다항 시간에 해답을 확인할 수 있는 모든 문제도 다항 시간에 풀 수 있는지 묻는 P=NP 문제를 해결하지 않습니다. OpenAI는 Lean(수학적 증명을 확인하는 보조 프로그램)으로 결과를 검증했다고 밝혔지만, 형식화 범위 설명에 제시된 시간 경계는 원고의 가장 강한 주장보다 약합니다.

비트코인 채굴과 지출 승인은 서로 다른 보안 작업입니다. 채굴은 목표값보다 낮은 블록 헤더 해시를 찾고, 서명은 자금 지출을 승인합니다. 비트코인은 secp256k1 타원곡선에서 ECDSA와 Schnorr 서명을 사용하며, 공개키에서 개인키를 알아내는 일은 최악의 경우 SAT 문제를 푸는 일과 다릅니다. 이 가설 주장은 해당 방식을 무너뜨리는 방법을 제시하지 않았습니다. 실용적 공격에는 적절한 문제 변환, 구현, 비용 비교가 필요하며, SAT 공식의 변수 수를 암호 키나 해시의 비트 길이로 바로 대체할 수 없습니다. 비트코인은 2,016블록마다 채굴 목표값을 조정하는데, 이는 블록 생성에 관한 장치이지 서명 승인에 관한 장치가 아닙니다.

이번 주장은 CryptoSlate가 보도한 10월 7일 논쟁과 별개입니다. 당시 저스틴 드레이크는 앞선 OpenAI 수학 공개 이후 ‘벙커 모드’ 대비를 촉구했습니다. 라이언 윌리엄스는 자신과 러셀 임파글리아초, 모한 파투리가 비밀유지계약이나 보수 없이 공개 검토를 조직해 달라는 요청을 받았다고 말했습니다. 윌리엄스는 별도로 기존 암호 시스템이 침해됐는지 OpenAI에 확인해 달라고 요청했고, 시스템이 안전한 것으로 보인다는 답을 전달했습니다. 이는 전해 들은 설명이며 독립적인 암호 감사 결과는 아닙니다. OpenAI는 실용적인 개선을 위해 상당한 추가 연구가 필요하다고 밝혔습니다. 윌리엄스는 개발자들이 혜택을 볼지 모르겠다며 12개월 안에 진전이 있을 가능성과 아무 진전도 없을 가능성을 모두 언급했고, 검토 주최자들은 진행 과정에서 결과를 공유할 계획입니다.

OpenAI는 지수 시간 가설(어려운 문제를 푸는 데 필요한 시간을 추정하는 가설)을 반박했다고 주장했으며, 연구자들은 이를 독립적으로 검토하고 있습니다. 그러나 이 결과가 비트코인에 대한 실용적 공격을 입증하지는 않습니다. CryptoSlate의 검토는 논문 1~8쪽의 도입부에 한정돼 전체 증명을 평가하지 않았습니다. 검토를 조직하는 연구자들은 참여 자체가 주장을 인증한다는 뜻은 아니라고 밝혔습니다.

10월 17일 작성돼 10월 25일 수정된 원고는 고정 폭 불리언 공식의 만족 해답 수를 정확히 세는 결정적 알고리즘이 아지수 시간과 다항 공간에서 작동한다고 주장합니다. 문제 규모가 커질수록 실행 시간이 지수적 경계보다 느리게 증가한다는 뜻이며, 현재 컴퓨터에서 문제가 쉬워진다는 의미는 아닙니다. 공개된 시간 경계는 다항 시간 알고리즘을 입증하거나, 다항 시간에 해답을 확인할 수 있는 모든 문제도 다항 시간에 풀 수 있는지 묻는 P=NP 문제를 해결하지 않습니다. OpenAI는 Lean(수학적 증명을 확인하는 보조 프로그램)으로 결과를 검증했다고 밝혔지만, 형식화 범위 설명에 제시된 시간 경계는 원고의 가장 강한 주장보다 약합니다.

비트코인 채굴과 지출 승인은 서로 다른 보안 작업입니다. 채굴은 목표값보다 낮은 블록 헤더 해시를 찾고, 서명은 자금 지출을 승인합니다. 비트코인은 secp256k1 타원곡선에서 ECDSA와 Schnorr 서명을 사용하며, 공개키에서 개인키를 알아내는 일은 최악의 경우 SAT 문제를 푸는 일과 다릅니다. 이 가설 주장은 해당 방식을 무너뜨리는 방법을 제시하지 않았습니다. 실용적 공격에는 적절한 문제 변환, 구현, 비용 비교가 필요하며, SAT 공식의 변수 수를 암호 키나 해시의 비트 길이로 바로 대체할 수 없습니다. 비트코인은 2,016블록마다 채굴 목표값을 조정하는데, 이는 블록 생성에 관한 장치이지 서명 승인에 관한 장치가 아닙니다.

이번 주장은 CryptoSlate가 보도한 10월 7일 논쟁과 별개입니다. 당시 저스틴 드레이크는 앞선 OpenAI 수학 공개 이후 ‘벙커 모드’ 대비를 촉구했습니다. 라이언 윌리엄스는 자신과 러셀 임파글리아초, 모한 파투리가 비밀유지계약이나 보수 없이 공개 검토를 조직해 달라는 요청을 받았다고 말했습니다. 윌리엄스는 별도로 기존 암호 시스템이 침해됐는지 OpenAI에 확인해 달라고 요청했고, 시스템이 안전한 것으로 보인다는 답을 전달했습니다. 이는 전해 들은 설명이며 독립적인 암호 감사 결과는 아닙니다. OpenAI는 실용적인 개선을 위해 상당한 추가 연구가 필요하다고 밝혔습니다. 윌리엄스는 개발자들이 혜택을 볼지 모르겠다며 12개월 안에 진전이 있을 가능성과 아무 진전도 없을 가능성을 모두 언급했고, 검토 주최자들은 진행 과정에서 결과를 공유할 계획입니다.