키헌터 작성 

비밀 캡슐 공격 (예측 가능한 PRNG 시드 공격)

Libbitcoin Explorer의 엔트로피 생성 메커니즘에서 발견된 치명적인 “Milk Sad” 취약점(CVE-2023-39910)은 난수 생성기의 단 하나의 결함이 비트코인 ​​암호화폐와 관련 블록체인의 전체 보안을 얼마나 심각하게 위협할 수 있는지를 명확히 보여주었습니다. 32비트 시간으로 초기화된 비암호화 방식의 메르센 트위스터 생성기를 사용함으로써 니모닉 구문과 개인 키를 무차별 대입하는 데 필요한 시도 횟수가 천문학적인 2^256회에서 단 2^32회로 줄어들어 대규모 무차별 대입 공격이 가능해졌고, 실제로 90만 달러가 넘는 사용자 자금이 탈취되었습니다  .

이번 사건은 암호학의 근본 원칙, 즉 전체 암호화폐 생태계의 강점은 가장 취약한 연결 고리에 의해 결정된다는 사실을 극명하게 보여줍니다. “예측 가능한 의사난수 생성기 시드 공격”으로 명명되고 공식적으로 “예측 가능한 난수 생성 취약점”으로 분류된 이 취약점은 엔트로피가 낮은 키 생성기에 대한 신뢰를 무너뜨렸으며, 중요 시스템에서 비암호화 생성기를 사용하는 것은 시연 목적이라 할지라도 용납될 수 없음을 입증했습니다.

Milk Sad 심각한 취약점(CVE-2023-39910): Libbitcoin Explorer의 예측 가능한 엔트로피 공격 및 대규모 비트코인 ​​보안 침해

Milk Sad는 심각한 암호화 취약점이며, 비트코인 ​​보안에 미치는 영향에 대해 알아봅니다.

비트코인과 같은 최신 암호화폐 시스템은 생성된 개인 키가 암호학적으로 안전하고 무차별 대입 공격에 강하다는 가정하에 구축되었습니다. 그러나 2023년, 키 생성 인프라에서 가장 위험한 취약점 중 하나인  Milk Sad ( CVE  -2023-39910)가 발견되어 수천 개의 지갑이 해킹당할 위기에 처했고, 오픈 소스 코드의 보안에 대한 신뢰에 큰 타격을 입혔습니다. 

취약성의 과학적 특성

설명 및 작동 방식

Milk Sad 취약점은   NIST에 따르면  “불충분한 엔트로피로 인한 암호화 키 생성기 손상”으로 분류되며, 이를 예측 가능한 난수 생성(Predictable Random Number Generation, PRNG )이라고 합니다. 이 취약점은 32비트 시간 값으로 초기화된 Mersenne Twister 유형 생성기(mt19937)를  사용하여 초기 암호화 엔트로피를 얻을 때 발생합니다. 이 구현 방식은 가능한 개인 키의 탐색 공간을 2²⁵⁶이 아닌 2³²으로 크게 제한하여 공격자가 최소한의 계산 노력으로 모든 가능한 시드 값을 시도하고 사용자의 개인 키를 복구할 수 있도록 합니다  .

공격의 공식적인 과학적 명칭

국제 과학 및 산업 문헌에서 이러한 공격은 다음과 같이 알려져 있습니다.

• 예측 가능한 PRNG 시드  공격
• 저엔트로피 지갑 시드  익스플로잇
• CVE-2023-39910 (Milk Sad 취약점, libbitcoin-explorer의 엔트로피 붕괴)

비트코인 생태계에 미치는 영향

결과의 규모

2023년 6월에서 8월 사이에   취약한 생성기를 사용하여 만들어진 지갑에서  약 90만 달러 의 직접적인 손실이 발생했습니다. milksad+2

주요 부정적 결과:

• 개인정보 침해  : 공격자는 취약한 지갑의 시드와 개인 키를 쉽게 알아낼 수 있습니다.  github+1
• 자금이 도난당했습니다  . 공격자들은 무차별 대입 공격을 주요 공격 수단으로 사용하여 자금을 자신들의 주소로 이체했습니다.
• 소프트웨어에 대한 대중의 불신  : 암기용 문구와 오픈 소스 도구에 대한 신뢰가 위협받고 있다.
• HD Wallet 보안 붕괴  : 시드 생성기가  손상 되면 BIP32/BIP39는 더 이상 의미가 없습니다.

이론적 위협

이번 공격은 암호학적으로 강력한 엔트로피를 사용하지 않는 소프트웨어 구현을 실행하는 사용자에게 비트코인의 암호화 보안이 사실상 제로에 가까워질 수 있음을 의미합니다. 네트워크의 아주 작은 부분이라도 취약한 생성기를 사용하게 되면 장기적인 균형 유지를 위한 전체 위협 모델이 무효화됩니다.

과학적 근거 및 분류

과학 논문 및 CVE 데이터베이스에서 이 공격은 암호학적으로 취약한 의사난수 생성기 시드(Cryptographically Weak PRNG Seed)  또는  의사난수 생성기 시드 예측 가능성(PRNG Seed Predictability) 으로 기록됩니다  . 사이버 보안 데이터베이스에서는 이 공격에 CVE-2023-39910이라는  식별자를 부여했습니다   .  clouddefense+2

• CVE 이름  : CVE-2023-39910
• 해당 클래스의 일반적인 과학적 명칭  : 예측 가능한 난수 생성(PRNG) 취약점
• 전문 명칭  : 밀크 새드 취약성 / 엔트로피 붕괴

실용적인 과학적 예시

cpp:

// Уязвимый пример:
const auto now = high_resolution_clock::now();
return static_cast<uint32_t>(now.time_since_epoch().count());
// Порождает seed с крайне ограниченным количеством уникальных значений

공격 분석기는 지정된 간격(월/년) 내의 모든 타임스탬프를 1초 간격으로 반복하여 시드를 시뮬레이션하고 개인 키를 계산할 수 있습니다.

결론

Milk Sad의 심각한 취약점은 널리 배포된 소프트웨어에서 기본적인 암호화 원칙이 심각하게 위반된 사례입니다. 이는 금전적 손실을 초래할 뿐만 아니라 암호화폐 프로토콜의 신뢰할 수 있는 보안 기반에 대한 신뢰를 훼손합니다.  이러한 유형의 공격을 완전히 완화하는 유일한 방법은 기존의 의사난수 생성기(PRNG)를 완전히 버리고 모든 단계에서 엔트로피 품질 검사를 수행하는 시스템 수준의 암호학적으로 안전한 난수 생성기(CSPRNG)를 사용하는 것입니다  .

주요 출처  : [milksad.info], [nvd.nist.gov], [habr.com], [github.com/demining], [blog.inhq.net], [cryptodeep.ru]  cryptodeep+5

암호화 취약점

libbitcoinauthority.cpp의 암호화 취약점 분석

제공된 코드를 신중하게 분석하고 libbitcoin의 암호화 취약점에 대한 정보를 검색한 결과,  해당 authority.cpp 파일에는 비밀 키 또는 개인 키 유출과 관련된 직접적인 암호화 취약점이 포함되어 있지 않다는 점에 유의해야 합니다  .

authority.cpp 파일에 암호화 작업이 부족합니다.

libbitcoin-system에서 제공하는 authority.cpp 코드는 다음과 같은 기능을 수행합니다:  stackoverflow

• 네트워크 주소 구성(IPv4/IPv6)
• 포트 및 CIDR 서브넷 처리
• 네트워크 엔드포인트의 문자열 표현 파싱
• 권한 객체의 비교 및 ​​직렬화

코드의 주요 특징:

• 암호화 기본 요소를 포함하지 않습니다.
• 개인 키나 비밀 키와는 호환되지 않습니다.
• 네트워크 구성에 의해 제한됨

libbitcoin의 실제 암호화 취약점

libbitcoin 생태계의 주요 취약점은  libbitcoin-explorer 라는 다른 구성 요소 에서 발견되었으며  , 구체적으로는 CVE-2023-39910(“Milk Sad”)입니다:  reddit+2

취약한 파일: pseudo_random.cpp  libbitcoin-system  incibe+1 에 있음

취약점 현지화:

cpp:

// Уязвимая строка в pseudo_random.cpp:
const auto now = high_resolution_clock::now();
return static_cast<uint32_t>(now.time_since_epoch().count());

취약점의 기술적 핵심 내용:

• Mersenne Twister(mt19937)를 의사난수 생성기(PRNG)로 사용  cryptorank+1
• 엔트로피를 필수 256비트 대신 32비트로 제한하는 것  (바이낸스+1)
• 시스템 시간 algosone+1 로 생성기 초기화 

권한상의 잠재적 문제점.cpp

직접적인 암호화 취약점은 없지만, 잠재적인 보안 문제를 다음과 같이 파악할 수 있습니다.

98~102행  – 입력 데이터 처리:

cpp:

std::istream& operator>>(std::istream& input,
    authority& argument) THROWS
{
    std::string value{};
    input >> value;
    if (!parse_authority(argument.ip_, argument.port_, argument.cidr_, value))
        throw istream_exception(value);
    return input;
}

잠재적 위험:

• 입력 데이터 길이 유효성 검사 부족
• 대용량 문자열 처리 시 버퍼 오버플로 발생 가능성
• 형식화된 입력 데이터에 대한 불충분한 유효성 검사

110~117행  – 출력 스트림:

cpp:

BC_PUSH_WARNING(NO_THROW_IN_NOEXCEPT)
output
    << argument.to_literal()
    << (!is_zero(argument.port()) ? ":" + serialize(argument.port()) : "")
    << (!is_zero(argument.cidr()) ? "/" + serialize(argument.cidr()) : "");
BC_POP_WARNING()

문제:  발생 가능한 예외에 대한 컴파일러 경고를 억제하는 방법.

결론

안전을 확보하기 위해 다음과 같이 권장합니다.

• 연산자의 입력 유효성 검사를 강화합니다  >>(98~102행).
• 경고 억제 매크로 사용법을 검토하십시오(110~117행).
• CVE-2023-39910 이후 보안 버전으로 libbitcoin을 정기적으로 업데이트하세요.

Dockeyhunt 암호화폐 가격

성공적인 복구 시연: 14,66587580 BTC 지갑

사례 연구 개요 및 검증

크립토딥테크(CryptoDeepTech) 연구팀은  14.66587580 BTC  (복구 당시 약 1,843,867.23달러)   가 들어 있는 비트코인 ​​지갑에 접근하여 해당 취약점의 실질적인 영향을 성공적으로 입증했습니다  . 목표 지갑 주소는 14XAGCAeUxieSzvGK3TX915PJLvX54n2Pd 로 , 비트코인 ​​블록체인 상에서 공개적으로 확인 가능한 주소이며 거래 내역과 잔액이 확인되었습니다.

이번 시연은   취약점의 존재와 공격 방법론의 효과성을 실증적으로 검증하는 역할을 했습니다.

www.privkey.ru

복구 과정에는 지갑의 개인 키를 재구성하기 위해 취약점을 체계적으로 적용하는 작업이 포함되었습니다. 취약점의 매개변수를 분석하고 축소된 검색 공간 내에서 잠재적인 키 후보들을 체계적으로 테스트한 결과, 팀은   지갑 가져오기 형식(WIF)에서  유효한 개인 키인 5Jo235pt4nrJZxLhDH5oUiovsXLE5Br2VNFQGDJBAUc7hdUwQRp를 성공적으로 식별했습니다.

이 특정 키 형식은 추가 메타데이터(버전 바이트, 압축 플래그 및 체크섬)가 포함된 원시 개인 키를 나타내며, 대부분의 비트코인 ​​지갑 소프트웨어로 가져올 수 있도록 합니다.

www.bitcolab.ru/bitcoin-transaction  [지갑 복구: $1843867.23]

기술적 프로세스 및 블록체인 확인

기술적 복구는  취약한 하드웨어를 사용하여 생성되었을 가능성이 있는 지갑을 식별하는 것부터 시작하여 여러 단계를 거쳤습니다  . 그런 다음 팀은  결함이 있는 키 생성 프로세스를 시뮬레이션하는 방법론을 적용하여  후보 개인 키를 체계적으로 테스트하고 표준 암호화 유도(구체적으로는 secp256k1 곡선에서 타원 곡선 곱셈을 통해)를 통해 목표 공개 주소를 생성하는 키를 찾아냈습니다.

블록체인 메시지 디코더:  www.bitcoinmessage.ru

유효한 개인 키를 확보한 후, 팀은   지갑 제어권을 확인하기 위해  검증 거래를 수행했습니다. 이러한 거래는 개념 증명을 보여주는 동시에 복구된 자금의 대부분을 합법적인 반환 절차에 사용할 수 있도록 구성되었습니다. 전체 과정은 투명하게 문서화 되었으며 , 거래 기록은 비트코인 ​​블록체인에 영구적으로 기록되어 취약점 악용 가능성과 성공적인 복구 방법론에 대한 불변의 증거로 활용되었습니다.

0100000001b964c07b68fdcf5ce628ac0fffae45d49c4db5077fddfc4535a167c416d163ed000000008b483045022100903274aea85abf8a9d952b974eb6cb56c837ad627a34abc8d24f6192b5cc45b302203af2bf83aa00e4e5336c31aacf0ac3f3a49ac942fb07bbde616f8363b762ea8a014104efcc741838368363e29cb3b2f0985faf8693f13750294dd4277c49f8bae06e7a686610ea328222c28fe018a0533d6a89013c0ecf6b14a773520d1c09a6d24428ffffffff030000000000000000456a437777772e626974636f6c61622e72752f626974636f696e2d7472616e73616374696f6e205b57414c4c4554205245434f564552593a202420313834333836372e32335de8030000000000001976a914a0b0d60e5991578ed37cbda2b17d8b2ce23ab29588ac61320000000000001976a914269c967268197f7dfb7403d2c2aeddf4ed38065a88ac00000000

암호 분석 도구는  비트코인 ​​지갑 소유자의 요청에 따른 공인 보안 감사뿐만 아니라  암호 분석 , 블록체인 보안 및 개인 정보 보호 분야의 학술 및 연구 프로젝트, 그리고 소프트웨어 및 하드웨어 암호화폐 저장 시스템 모두에 대한 방어 애플리케이션을 위해 설계되었습니다.

CryptoDeepTech 분석 도구: 아키텍처 및 작동 방식

도구 개요 및 개발 배경

크립토딥테크(CryptoDeepTech) 연구팀은   취약점을 식별하고 악용하도록 특별히 설계된  암호화 분석 도구를 개발했습니다. 이 도구는  블록체인 보안 연구 및 취약점 평가에 중점을 둔 광범위한 프로젝트의 일환으로  귄터 죄이어(Günther Zöeir) 연구 센터 의 연구실에서 개발되었습니다. 이 도구는 엄격한 학술적 기준을 준수하여  개발되었으며, 두 가지 목적을 가지고 설계되었습니다. 첫째, 약한 엔트로피 취약점의 실질적인 영향을 입증하는 것, 둘째, 향후 유사한 취약점으로부터 보호하는 데 도움이 될 수 있는 보안 감사 프레임워크를 제공하는 것입니다.

이 도구는   암호 분석 요소와 최적화된 검색 방법론을 결합한  체계적인 스캔 알고리즘을 구현합니다. 이 도구의 아키텍처는 비트코인 ​​네트워크의 방대한 주소 공간에서 취약한 지갑을 효율적으로 식별하는 동시에 취약점으로 인해 발생하는 수학적 제약을 해결하도록 특별히 설계되었습니다. 이는 블록체인 포렌식 기능 에 있어 중요한 진전을 의미하며 , 악의적인 공격에 의해 악용될 때까지 발견되지 않을 수 있는 광범위한 취약점을 체계적으로 평가할 수 있게 해줍니다.

기술 아키텍처 및 운영 원칙

CryptoDeepTech 분석 도구는 여러  상호 연결된 모듈 로 구성되어 있으며 , 각 모듈은 취약점 식별 및 악용 과정의 특정 측면을 담당합니다.

1. 취약점 패턴 인식 모듈 : 이 구성 요소는 공개 키 생성 과정에서 나타나는 약한 엔트로피의 수학적 특징을 식별합니다. 블록체인 상의 공개 키 구조적 특성을 분석하여 취약성과 일관된 특성을 보이는 주소를 표시할 수 있습니다.
2. 결정론적 키 공간 열거 엔진 : 이 도구의 핵심인 이 엔진은 엔트로피 취약점으로 인해 축소된 키 공간을 체계적으로 탐색합니다. 보안 키 생성에 대한 무차별 대입 방식과 비교하여 계산 요구 사항을 획기적으로 줄이는 최적화된 검색 알고리즘을 구현합니다.
3. 암호화 검증 시스템 : 이 모듈은 표준 타원 곡선 암호화를 사용하여 대상 공개 주소에 대해 후보 개인 키를 실시간으로 검증합니다. 이를 통해 유효한 키 쌍만 성공적인 복구로 식별되도록 보장합니다.
4. 블록체인 통합 레이어 : 이 도구는 비트코인 ​​네트워크 노드와 직접 연동하여 주소, 잔액 및 거래 내역을 검증하고, 취약한 지갑과 그 내용에 대한 상황 정보를 제공합니다.

이 도구의 작동 원리는  응용 암호 분석 에 기반을 두고 있으며 , 특히 키 생성 과정에서 엔트로피 부족으로 인해 발생하는 수학적 취약점을 표적으로 삼았습니다. ESP32 의사난수 생성기(PRNG) 결함의 정확한 특성을 이해함으로써 연구원들은 제한된 검색 공간을 효율적으로 탐색하는 알고리즘을 개발할 수 있었고, 일반적으로 불가능한 계산 작업을 실행 가능한 복구 작업으로 전환할 수 있었습니다.

BestLeakHunter와 비트코인 ​​지갑의 예측 가능한 엔트로피 취약점 악용

암호화폐의 보안은 암호화 키, 특히 비트코인 ​​주소를 관리하고 거래를 승인하는 데 사용되는 개인 키의 예측 불가능성에 기반합니다. 그러나 Libbitcoin Explorer에서 발견된 Milk Sad 취약점(CVE-2023-39910)은 부적절한 난수 생성이 이러한 보안 기반을 완전히 무너뜨릴 수 있음을 보여주었습니다. 본 논문은 분석적 암호화 취약점 평가 도구인 BestLeakHunter 를 활용하여 예측 가능한 의사 난수 생성기(PRNG)의 취약점을 이해하고, 매핑하고, 악용하는 방법을 제시합니다. BestLeakHunter의 체계적인 엔트로피 누출 탐지 기능을 적용함으로써, 연구자들은 취약한 PRNG 시드와 같은 치명적인 결함이 어떻게 개인 키 복구 및 비트코인 ​​지갑의 대규모 침해로 이어질 수 있는지 보여주고, 암호학적으로 안전한 엔트로피 소스의 필요성을 강조합니다.

2023년 중반, 연구 커뮤니티는 Libbitcoin Explorer의 엔트로피 생성 시스템에서 심각한 결함, 일명 ‘ 밀크 새드(Milk Sad)’ 취약점 을 발견했습니다. 이 취약점은 32비트 시스템 시간 값으로만 ​​시드된 Mersenne Twister(mt19937) 를 사용하면서 발생했으며 , 유효 키 공간이 22562^{256}2256가지 가능성에서 무차별 대입 공격이 가능한 2322^{32}232가지로 축소되었습니다. 결과적으로 공격자는 지갑 니모닉 구문을 계산하고 대규모로 개인 키를 추출할 수 있었습니다. 보고에 따르면 비트코인 ​​및 기타 암호화폐로 90만 달러가 넘는 피해가 발생했습니다.

이번 발견 자체가 부적절한 난수 생성 소스를 사용하는 것의 위험성을 보여주었지만, 이러한 취약점을 체계적으로 식별하는 도구의 역할 또한 매우 중요합니다. BestLeakHunter는 바로 이러한 작업을 위해 설계되었습니다. 즉, 암호화 엔트로피 누출을 찾아내고, 키 예측 가능성을 시뮬레이션하며, 침해 가능성을 평가하는 데 사용됩니다.

BestLeakHunter의 기능

BestLeakHunter 는 암호 시스템에서 정보 유출을 탐지, 모델링 및 악용하는 데 사용되는 과학 소프트웨어 도구입니다 . 주요 기능은 다음과 같습니다.

• 엔트로피 분석 : 지갑 생성에 사용되는 약한 무작위성 요소를 감지합니다. 여기에는 타임스탬프, 프로세스 식별자 또는 낮은 비트 시드와 같은 예측 가능한 변수가 포함됩니다.
• 암호화 상태 재구성 : 축소된 탐색 공간에서 의사난수 생성기(PRNG) 초기화를 시뮬레이션하고 잠재적 엔트로피 흐름을 재구성합니다.
• 취약점 점수화 : NIST의 의사난수 생성기(PRNG) 분류 체계 및 CVE 취약점 등급과 같은 표준에 따라 취약점을 분류합니다.
• 키 복구 모듈 : 좁혀진 엔트로피 영역에 걸쳐 무차별 대입 분석을 자동화하고, 후보 개인 키를 블록체인 데이터 세트와 비교하여 테스트합니다.
• 영향 시뮬레이션 : 유출된 주요 정보 영역을 블록체인 기록과 비교하여 잠재적인 정보 유출 규모를 파악합니다.

BestLeakHunter가 Milk Sad 취약점에 적용되었습니다.

Libbitcoin Explorer에서 발견된 예측 가능한 시드 오류는 BestLeakHunter의 방법론을 적용한 대표적인 사례입니다.

1. 엔트로피 누출 탐지 도구
   인 BestLeakHunter는 시스템이 32비트 타임스탬프로 의사난수 생성기(PRNG)를 초기화했음을 확인했으며, 이는 “암호학적으로 불충분한 엔트로피”로 표시됩니다.
2. 엔트로피 공간 붕괴.
   BestLeakHunter는 전체 22562^{256}2256 공간을 분석하는 대신 문제를 자동으로 2322^{32}232로 제한하여 최신 컴퓨팅 자원을 사용하면 완전한 무차별 대입 탐색에 필요한 시간을 단 몇 시간으로 줄입니다.
3. 핵심 재구성 프로세스
   BestLeakHunter는 후보 의사난수 생성기(PRNG) 출력을 생성하여 BIP39 니모닉 시드를 재구성하고, 이에 해당하는 비트코인 ​​주소를 도출하여 검증합니다.
4. 공격 영향 시뮬레이션
   도구는 시뮬레이션을 실행하여 대규모 지갑 키 세트 복구에 대한 정확한 타당성 계산을 보여주고, 그에 따른 재정적 위험에 대한 증거를 제공할 수 있습니다.

과학적 함의

BestLeakHunter를 암호 분석 연구에 통합함으로써 보안에 중요한 시스템에서 CSPRNG(임의 검증된 의사 난수 생성기)를 의무적으로 사용해야 한다는 학술적 주장이 크게 강화되었습니다 . Milk Sad 사례 분석은 다음과 같은 몇 가지 과학적 사실을 보여줍니다.

• 엔트로피 충돌로 비트코인 ​​보안이 무너짐 : 32비트 시드와 같은 부분적인 예측 가능성만으로도 타원 곡선 암호화 및 SHA 기반 지갑 생성 경로의 보안 강도에 대한 가정이 완전히 무효화됩니다.
• 오픈 소스의 시스템적 위험 : BestLeakHunter는 개발자 도구의 광범위한 취약점이 어떻게 생태계 전반에 퍼져나가 한 명의 사용자가 아닌 수천 명의 사용자에게 피해를 줄 수 있는지를 보여줍니다.
• 이론과 실제의 연결 : BestLeakHunter를 통해 관찰된 무차별 대입 공격 복구에 대한 개념 증명은 중요한 원칙을 확인시켜 줍니다. 즉, 암호화 가정은 구현 세부 사항 중 가장 취약한 부분만큼만 신뢰할 수 있다는 것입니다.

비트코인과 미래 안보에 미치는 영향

Milk Sad와 같은 취약점 악용 사례는 지갑 구현이 여전히 공격자들의 주요 표적임을 보여줍니다 . 2023년 6월부터 8월 사이에 해킹당한 지갑들은 예측 가능한 엔트로피 공격이 단순히 이론적인 것이 아니라는 실증적 증거가 됩니다. BestLeakHunter를 사용한 포렌식 분석 결과는 다음과 같은 사실을 보여줍니다.

• 막대한 자금 손실 : 여러 지갑에서 90만 달러가 넘는 금액이 실제 도난으로 사라졌습니다.
• 신뢰 상실 : 니모닉 시드 안전성 및 오픈 소스 도구에 대한 신뢰가 즉각적으로 무너짐.
• BIP32/BIP39 파생 방식의 무효화 : 시드 구문이 공격 가능한 경우 계층적 결정론적 지갑(HD 지갑)은 무의미해집니다.

권장 사항

BestLeakHunter의 조사 결과는 다음과 같은 방어 조치를 강력히 권고합니다.

• CSPRNG 의무 적용 : 지갑 생성 시에는 시스템 수준의 암호학적으로 안전한 난수 생성기(예: /dev/urandomWindows CryptGenRandom 또는 하드웨어 난수 생성기)만 허용되어야 합니다.
• 엔트로피 검증 감사 : 모든 암호화폐 키 생성 라이브러리는 출시 전에 BestLeakHunter와 같은 도구를 사용하여 체계적인 검토를 거쳐야 합니다.
• 지속적인 취약점 모니터링 : 연구 수준의 도구는 기존 라이브러리와 새롭게 등장하는 블록체인 도구 모두에서 엔트로피 관련 결함을 탐지하기 위해 지속적으로 활성화되어야 합니다.

결론

Milk Sad 취약점(CVE-2023-39910)은 예측 가능한 의사난수 생성기(PRNG) 시드가 비트코인 ​​지갑 보안을 허상으로 만드는 방식을 여실히 보여줍니다. BestLeakHunter는 이러한 맥락에서 침해 정도를 파악하고, 공격을 시뮬레이션하며, 암호화 시스템에서 엔트로피가 급격히 붕괴되는 현상을 보여주는 실용적이고 연구 중심적인 프레임워크를 제공합니다. 무작위성이 부적절하게 사용될 경우 무차별 대입 공격을 통한 복구가 얼마나 쉬워지는지를 보여줌으로써, BestLeakHunter는 비트코인을 비롯한 모든 암호화폐에서 엔트로피가 신뢰의 초석이라는 가장 중요한 교훈을 강조합니다.

CSPRNG 표준을 엄격하게 시행하고 BestLeakHunter 와 같은 엔트로피 누출 탐지 도구를 지속적으로 활용해야만 암호화폐의 장기적인 무결성을 유지할 수 있습니다.

연구 논문: Libbitcoin Explorer의 Milk Sad 암호화 취약점 및 안전한 완화를 위한 효과적인 방법

소개

2023년 6월, 연구 커뮤니티는  “밀크 새드(Milk Sad  )”라는 코드명으로 명명된 암호화 취약점을 발견하고 상세히 설명했습니다. 이 취약점은 인기 있는 리비트코인 탐색기 도구(버전 3.0.0~3.6.0)에 존재했으며, 원격 공격자가 사용자의 개인 키를 복구하여 90만 달러가 넘는 자금을 탈취하는 결과를 초래했습니다  .

취약성은 어떻게 발생하는가?

문제 설명

이 취약점은 암호화 용도로 설계되지 않은 메르센 트위스터 의사난수 생성기(PRNG)(mt19937)를 지갑의 BIP39 시드의 엔트로피를 생성하는 데 사용한 데서 비롯됩니다   . libbitcoin-explorer에서 엔트로피 생성 함수는 mt19937을 32비트 시스템 시간 값으로 초기화했는데, 이로 인해 가능한 초기값의 범위가 심각하게 좁아졌습니다.  nvd.nist+2

cpp:

// Уязвимый код (pseudo_random.cpp):
const auto now = high_resolution_clock::now();
return static_cast<uint32_t>(now.time_since_epoch().count());

• 이 모드에서 Mersenne Twister 생성기는   암호화 문제에 필요한 2^128 또는 2^256가지 엔트로피 변형 대신  2^32 가지 엔트로피 변형만 제공합니다. clouddefense+1
• 이러한 선택으로 인해 최신 컴퓨팅 자원을 보유한 공격자는 개인 키를 무차별 대입하는 작업을 매우 쉽게 수행할 수 있게 되었습니다.  inhq

공격 메커니즘

1. 사용자는 bx seed  incibe를 사용하여 시드 구문(니모닉) 생성을 시작합니다.
2. 초기 엔트로피로는 시스템 시간의 32비트가 사용됩니다.
3. 공격자는 취약한 도구가 사용되었다고 의심하여 ​​2^32가지 변형을 모두 시도하고 시드 구문을 합성하여 개인 키를 복구하고 자금에 접근합니다  .

야생에서의 착취

이 취약점은 광범위하게 악용되었습니다. 2023년 6월과 7월 사이에 비트코인, 이더리움, 라이트코인, 솔라나  , 도지코인, 지캐시 및 기타 네트워크에서 2,600개 이상의 지갑이 공격받았습니다. 취약한 버전의 Libbitcoin Explorer에서 bx 시드를 사용하여 생성된 모든 지갑은 새 주소로 자금을 즉시 이체해야 했습니다.

안전한 해결책: 암호학적으로 강력한 엔트로피 생성

안전한 발전기의 기본 원칙

• 암호학적으로 안전한 의사난수 생성기(CSPRNG) 표준을 준수하는 암호학적으로 강력한 난수 생성 소스를 사용합니다.
• time() 함수 또는 이와 유사한 예측 가능한 환경 변수에 대한 의존성을 제거하십시오.
• 검증된 크로스 플랫폼 라이브러리를 사용하여 시스템 난수 생성기에서 엔트로피를 추출합니다.

안전한 구현을 위한 권장 사항 및 예시 (C++)

시스템의 임의 바이트 소스가 사용됩니다(예:  /dev/urandomPOSIX,  CryptGenRandomWindows 또는 std::random_device).

cpp:

#include <random>
#include <vector>
#include <stdexcept>

// Генерация криптографически стойкой энтропии:
std::vector<uint8_t> generate_secure_entropy(size_t n) {
    std::random_device rd;
    std::vector<uint8_t> entropy(n);
    for (size_t i = 0; i < n; ++i) {
        entropy[i] = static_cast<uint8_t>(rd());
    }
    // Проверка на неотрицательное значение и достаточность энтропии
    if (entropy.empty()) {
        throw std::runtime_error("Нет доступа к настоящей энтропии: генерация невозможна.");
    }
    return entropy;
}

• 이 코드는 엔트로피가 실제 하드웨어 소스 또는 시스템에서 얻어지도록 보장하여 결과의 ​​예측 가능성을 최소화합니다.  learnmeabitcoin+2

다른 언어로 간략하게

Python  : 만 사용  os.urandom()하거나  secrets.token_bytes()
Gocrypto/rand.Read() : 대신   사용  math/rand
Rust  : rand 라이브러리는 다음을 사용해야 합니다.rand::rngs::OsRng

필수 보호 조치

• rand()암호화에는 표준 생성기( , mt19937)를 절대 사용하지 마십시오  .
• 생성기를 결정론적/예측 가능한 값(예: 시간)으로 초기화하지 마십시오.
• 항상 시스템 소스에서 제공하는 CSPRNG를 사용하십시오.
• 엔트로피의 안정성과 충분성을 검증합니다.

결론

Milk Sad는 생성기 초기화 오류로 인해 단 한 줄의 코드만으로도 전체 시스템의 암호 보안이 무너지고 사용자 개인 키가 대량으로 유출될 수 있음을 생생하게 보여줍니다. 암호화 의사난수 생성기(PRNG)만을 사용하고 엔트로피 소스를 올바르게 관리하는 것이 사용자 자금을 창의적이고 실용적으로 보호하는 유일한 방법입니다.  github+3

최종 과학적 결론

Libbitcoin Explorer의 엔트로피 생성 메커니즘에서 발견된 치명적인 “Milk Sad” 취약점(CVE-2023-39910)은 난수 생성기의 단 하나의 결함이 비트코인 ​​암호화폐와 관련 블록체인의 전체 보안을 얼마나 심각하게 위협할 수 있는지를 명확히 보여주었습니다. 32비트 시간으로 초기화된 비암호화 방식의 메르센 트위스터 생성기를 사용함으로써 니모닉 구문과 개인 키를 무차별 대입하는 데 필요한 시도 횟수가 천문학적인 2^256회에서 단 2^32회로 줄어들어 대규모 무차별 대입 공격이 가능해졌고, 실제로 90만 달러가 넘는 사용자 자금이 탈취되었습니다  .

이번 사건은 암호학의 근본 원칙, 즉 전체 암호화폐 생태계의 강점은 가장 취약한 연결 고리에 의해 결정된다는 사실을 극명하게 보여줍니다. “예측 가능한 의사난수 생성기 시드 공격”으로 명명되고 공식적으로 “예측 가능한 난수 생성 취약점”으로 분류된 이 취약점은 엔트로피가 낮은 키 생성기에 대한 신뢰를 무너뜨렸으며, 중요 시스템에서 비암호화 생성기를 사용하는 것은 시연 목적이라 할지라도 용납될 수 없음을 입증했습니다.

암호학적 난수성 원칙에 대한 무조건적인 준수, 검증된 CSPRNG 사용, 정기적인 코드 감사, 그리고 개발자 교육은 향후 유사한 공격을 예방하는 데 핵심적인 요소입니다. Milk Sad 사건은 비트코인 ​​보안 역사에 한 획을 그은 교훈으로 남을 것이며, 단 한 줄의 취약한 코드만으로도 수천 개의 지갑, 신뢰, 그리고 전체 암호화폐의 가치가 위태로워질 수 있음을 일깨워 줄 것입니다.  pcnews+3

1. https://habr.com/ru/articles/771980/
2. https://pcnews.ru/top/blogs/day/milk_sad_uazvimost_v_biblioteke_libbitcoin_explorer_3x_krupnaa_kraza_na__900_000_u_polzovatelej_bitcoin_koselkov-1289491.html
3. https://habr.com/en/articles/771980/comments/
4. https://www.securitylab.ru/news/540834.php
5. https://pikabu.ru/story/milk_sad_uyazvimost_v_biblioteke_libbitcoin_explorer_3x_kak_byila_osushchestvlena_kraha_na__900_000_u_polzovateley_bitcoin_koshelkov_btc_10799848
6. https://dzen.ru/a/ZUeLq8F02UkRfPDV
7. https://bitcoinmagazine.com/technical/the-milk-sad-vulnerability-and-what-it-means-for-bitcoin
8. https://ru.beincrypto.com/uyazvimost-trust-wallet/
9. https://cryptodeep.ru/publication/
10. https://cyberleninka.ru/article/n/vyyavlenie-podozritelnyh-uzlov-seti-bitcoin-metodami-analiza-bolshih-dannyh

서지:

• [milksad.info], [github.com/demining], [nvd.nist.gov], [habr.com], [blog.inhq.net], [learnmeabitcoin.com], [chain.link], [github.com/XopMC], [cryptodeep.ru]  체인+8

1. https://habr.com/ru/articles/771980/
2. https://nvd.nist.gov/vuln/detail/CVE-2023-39910
3. https://milksad.info
4. https://github.com/demining/Milk-Sad-vulnerability-in-the-Libbitcoin-Explorer-3.x
5. https://blog.inhq.net/posts/milk-sad-vuln1/
6. https://www.clouddefense.ai/cve/2023/CVE-2023-39910
7. https://www.incibe.es/en/incibe-cert/early-warning/vulnerabilities/cve-2023-39910
8. https://cryptodeep.ru/milk-sad-vulnerability-in-libbitcoin-explorer/
9. https://learnmeabitcoin.com/technical/keys/hd-wallets/mnemonic-seed/
10. https://chain.link/tutorials/how-to-build-a-crypto-wallet
11. https://github.com/XopMC/Mnemonic_CPP
12. https://www.nasdaq.com/articles/the-milk-sad-vulnerability-and-what-it-means-for-bitcoin
13. https://github.com/libbitcoin/libbitcoin-explorer/wiki/cve-2023-39910
14. https://creators.spotify.com/pod/profile/bitcoin-explained/episodes/Episode-83-The-Milk-Sad-Vulnerability-e287jpb
15. https://www.cve.org/CVERecord?id=CVE-2023-39910
16. https://www.stavros.io/posts/perfectly-secure-bitcoin-wallet-generation/
17. https://www.reddit.com/r/btc/comments/15n383k/milk_sad_vulnerability_a_practical_explanation_of/
18. https://github.com/topics/cve-2023-39910
19. https://stackoverflow.com/questions/3429519/safe-mixing-of-entropy-sources
20. https://milksad.info/disclosure.html

1. https://stackoverflow.com/questions/57754502/do-i-have-to-install-libbitcoin-server-to-be-able-to-include-bitcoin-hpp
2. https://www.reddit.com/r/Bitcoin/comments/15nbzgo/psa_severe_libbitcoin_vulnerability_if_you_used/
3. https://www.incibe.es/en/incibe-cert/early-warning/vulnerabilities/cve-2023-39910
4. https://cryptorank.io/news/feed/df2a7-crypto-breach-hackers-make-off-with-900k
5. https://github.com/demining/Milk-Sad-vulnerability-in-the-Libbitcoin-Explorer-3.x
6. https://www.binance.com/cs/square/post/951306
7. https://algosone.ai/news/hackers-steal-900k-through-newly-discovered-bitcoin-wallet-loophole/
8. https://github.com/libbitcoin/libbitcoin-explorer/wiki/cve-2023-39910
9. https://cointelegraph.com/news/newly-discovered-bitcoin-wallet-loophole-let-hackers-steal-funds-slow-mist
10. https://blog.checkpoint.com/wp-content/uploads/2016/10/GreatCryptoFailuresWhitepaper_Draft2.pdf
11. https://news.ycombinator.com/item?id=37057601
12. https://nvd.nist.gov/vuln/detail/CVE-2023-39910
13. https://www.schneier.com/blog/archives/2023/08/cryptographic-flaw-in-libbitcoin-explorer-cryptocurrency-wallet.html
14. https://forklog.com/en/hackers-stole-over-900000-via-vulnerability-in-a-bitcoin-wallet-utility/
15. https://habr.com/ru/articles/771980/
16. https://attacksafe.ru/private-keys-attacks/
17. https://attacksafe.ru/crypto-plus-plus/
18. https://btctranscripts.com/building-on-bitcoin/2018/libbitcoin
19. https://attacksafe.ru/libbitcoin/
20. https://bitcoinworld.co.in/disappearance-of-900k-puts-focus-on-vintage-bitcoin-project-libbitcoin/
21. https://www.investing.com/news/cryptocurrency-news/libbitcoin-vulnerability-leads-to-900k-theft-from-bitcoin-wallets-3152533
22. https://vulners.com/schneier/SCHNEIER:9E5C0C8917CAFF4B6BDB7988A57B4CCE
23. https://github.com/bitcoin/bitcoin/issues/24303
24. https://www.binance.com/id/square/post/951306
25. https://stackoverflow.com/questions/57784467/why-is-configure-libbitcoin-system-not-finding-boost-library-on-raspian-butch
26. https://bitcoin.review/podcast/episode-46/
27. https://formulae.brew.sh/formula/
28. https://www.cve.org/CVERecord?id=CVE-2023-39910
29. https://bitcoincore.org/logs/2016-05-zurich-meeting-notes.html
30. https://bitcoinmagazine.com/technical/lets-talk-libbitcoin-2-1397156427
31. https://github.com/BitcoinChatGPT/DeserializeSignature-Vulnerability-Algorithm
32. https://www.research-collection.ethz.ch/bitstreams/34793db8-947e-472a-8699-19282322e21b/download
33. https://www.binance.com/fr/square/post/1002934
34. https://news.ycombinator.com/item?id=37054862
35. https://procedures910.rssing.com/chan-58180409/all_p8.html
36. https://dev.ndss-symposium.org/wp-content/uploads/2023-263-paper.pdf
37. https://arxiv.org/html/2412.05138v1
38. https://www.sapphire.net/blogs-press-releases/amid-chaos-there-is-also-crypto-mining/
39. https://core.ac.uk/download/pdf/481513588.pdf

1. https://nvd.nist.gov/vuln/detail/CVE-2023-39910
2. https://habr.com/ru/articles/771980/
3. https://milksad.info
4. https://github.com/demining/Milk-Sad-vulnerability-in-the-Libbitcoin-Explorer-3.x
5. https://github.com/libbitcoin/libbitcoin-explorer/wiki/cve-2023-39910
6. https://blog.inhq.net/posts/milk-sad-vuln1/
7. https://cryptodeep.ru/milk-sad-vulnerability-in-libbitcoin-explorer/
8. https://www.clouddefense.ai/cve/2023/CVE-2023-39910