4줄의 코드.
1,596 BTC 이상의 유출.

모든 방어는 아무도 추측할 수 없는 하나의 숫자에 달려 있다

하드웨어 지갑은 여러 역할을 수행합니다. 감염된 컴퓨터의 화면을 신뢰하는 대신 실제로 서명하는 내용을 눈으로 직접 확인할 수 있게 해주며, 외부 침입에 저항하도록 설계된 칩 안에 개인키를 안전하게 보관합니다. 이러한 방어 체계는 모두 키가 생성된 숫자를 유추할 수 없다는 전제 위에 세워져 있습니다. 숫자를 유추할 수 있다면 공격자는 다른 방어벽을 뚫을 필요가 전혀 없어집니다. 24개 단어 복구 구문이 만들어지는 경우의 수는 관측 가능한 우주에 존재하는 모든 원자 수의 약 1천 분의 1에 달합니다. 그 정도 규모의 공간은 무차별 대입으로 탐색할 수 없습니다. 이것이 보안 모델의 핵심입니다.

COLDCARD가 해당 난수 풀의 사용을 중단했습니다

2021년 펌웨어 업데이트로 인해 지갑은 전용 난수 생성 칩에 숫자를 요청하는 대신 일반 소프트웨어를 통해 숫자를 계산하기 시작했습니다. 이번 사건의 전말을 요약하면 다음과 같습니다.

이는 보안 수준이 3분의 2로 줄어든다는 의미가 아닙니다. 비트가 하나 늘어날 때마다 작업량은 두 배로 늘어나므로, 88비트가 줄어들면 탐색 작업은 2⁸⁸배로 축소됩니다. 개인에게 1조라는 숫자는 엄청나게 크지만, 고성능 장비를 빌려 연산 작업을 수행하는 공격자에게는 작은 숫자에 불과합니다.

소프트웨어는 진정한 의미의 무작위성을 가질 수 없기 때문입니다

동전 던지기가 예측 불가능한 이유를 생각해 보십시오. 던지는 힘, 중력, 에어컨 바람, 바닥의 미세한 진동 등 수십 가지의 요인들이 작용합니다. 이 중에는 이름을 붙일 수 있는 것도 있고 없는 것도 있습니다. 그 누구도 궤적을 정확히 계산할 수 없기 때문에 결과를 미리 알 수 없습니다. 소프트웨어는 다르게 작동합니다. 고정된 시작 값 몇 개에 고정된 공식을 적용하여 정해진 결괏값을 도출합니다. 여기서 그 값들은 칩의 일련번호와 기기가 켜져 있던 시간이었습니다. 레시피와 재료를 알아낸 공격자는 무작위로 추측하는 대신 출력을 다시 계산해 냅니다.

그리고 이를 막기 위해 만들어진 검증 장치는 엉뚱한 질문을 던졌습니다

빌드 과정에는 하드웨어 생성기를 거치지 않은 펌웨어가 배포되는 것을 막기 위해 작성된 보호 코드가 있었습니다. 이 코드는 설정값이 '켜져 있는지'가 아니라 '존재하는지'를 확인했습니다. 설정은 존재했지만 꺼져 있었습니다. 보호 코드는 작동하지 않았고 빌드에서는 오류가 보고되지 않았으며 결국 펌웨어가 배포되었습니다.

5년 동안 아무런 문제도 발견되지 않았습니다

취약한 복구 구문은 강력한 복구 구문과 완벽히 똑같이 생겼습니다. 평범한 24단어, 올바른 체크섬, 정상적으로 작동하는 기기. 화면에는 어떠한 경고도 뜨지 않고 빌드 과정에서도 오류는 발생하지 않습니다. 소스 코드는 처음부터 공개되어 있었습니다. 하지만 그 코드를 읽으려면 누군가가 직접 그 특정 파일을 열어보아야 했습니다.

그리고 누군가 계산을 시작했습니다

그들은 단 하나의 기기도 직접 만지지 않았습니다. 자신들의 컴퓨터에서 생성 가능한 문구들을 대입해 각 문구가 어떤 비트코인 주소를 생성하는지 산출한 뒤, 해당 주소들을 공개된 블록체인과 대조했습니다. 잔액이 들어 있는 모든 주소는 순식간에 비워졌습니다. 2022년 이후 서랍 속에 전원도 켜지 않은 채 방치되어 있던 지갑 역시 매일 사용되던 지갑과 똑같이 위험에 노출되어 있었습니다.