Hot Lotto 사기 사건 완전 분석: 에디 티프턴이 멀티스테이트 복권 RNG를 조작한 방법, 아무도 찾아가지 못한 1,430만 달러짜리 당첨권, 그리고 커밋 시드가 있었다면 이를 잡아낼 수 있었던 이유

핫도그 두 개, 탄산음료 한 잔, 그리고 1,430만 달러짜리 복권

디모인 동쪽의 퀵트립 매장 감시 카메라 영상에는 2010년 크리스마스 이틀 전, 오후 3시 30분경 후드티를 입은 건장한 남자가 3.17달러짜리 핫도그와 탄산음료, 그리고 핫로또 복권 두 장을 구매하는 모습이 담겨 있다. 6일 뒤인 2010년 12월 29일, 그 복권 중 하나가 다섯 개 번호와 핫볼을 모두 맞혔다. 잭팟은 현금 1,430만 달러, 연금으로는 1,650만 달러였다. 아무도 나타나지 않았다.

당첨 청구는 마감 몇 시간을 남겨두고 들어왔다. 아이오와주 복권은 1년 후 소멸되는데, 2011년 12월 29일, 마감 한 시간 50분 전 디모인의 한 법률사무소 변호사들이 벨리즈에 등록된 ‘헥섬 인베스트먼트’라는 신탁을 대리해 복권을 제출했다. 이 신탁의 수탁자인 뉴욕 변호사 크로퍼드 쇼는 서류에 이름을 “Hexam”으로 잘못 기재했다. 청구는 반려되었다. 2012년 1월, 쇼는 복권 관계자들과 직접 만났다. 아이오와주는 익명 당첨자에게 지급하지 않는데, 쇼는 복권을 구매한 사람이 누구인지 밝히지 않았고, 2012년 1월 26일 진술서에 서명하고 청구를 철회했다. 1,430만 달러는 플레이어 풀로 환수되었다. 복권 측은 퀵트립 영상을 공개하며 후드티를 입은 남자가 누구인지 제보를 요청했다.

아이오와 핫로또 사건, 연대기

날짜는 디모인 레지스터, AP통신, 더 데일리 비스트(2015년 7월 7일), CNN(2017년 8월 22일)이 보도한 아이오와 사건 기록에 따른 것이다. 위키백과의 사건 요약은 현금 가치를 1,430만 달러, 광고된 상금을 1,650만 달러로 제시하고 있으며, 두 수치 모두 당시 보도에 등장한다.

후드티를 입은 남자는 에디 팁턴이었는데, 그는 애초에 합법적으로 복권을 구매할 수 없는 사람이었다. MUSL의 정보보안 책임자로서 그는 추첨실에 접근할 수 있는 다섯 명 중 한 명이었고, 그 안의 소프트웨어를 작성하는 데도 관여했다. 동료 한 명이 녹음 테이프 속 그의 목소리를 알아차렸다. 2015년 재판에서 검찰의 이론은 2010년 11월 20일 그가 시계 조정을 핑계로 자동 삭제 프로그램이 담긴 USB 드라이브를 꽂았고, 60초에 1초만 녹화하도록 설정된 카메라가 그 장면을 포착하지 못하도록 조정되었다는 것이었다. 변호 측은 카메라에 고장 이력이 있었으며 악성코드가 발견된 적도 없다고 주장했다. 배심원단은 유죄를 평결했지만, 아이오와 대법원은 2년 후 공소시효를 이유로 그 판결을 뒤집었다. 그 후 다섯 개 주에서 기소된 팁턴은 법정에서 자신이 실제로 한 일을 설명했다.

8시 이후, 1년에 세 날짜

그 코드는 드라이브가 지워진 아이오와가 아니라 위스콘신에서 발견되었다. 2016년 조사관들이 그 주의 메가벅스 추첨에 사용된 생성기를 조사하던 중, 소프트웨어가 검토 및 인증된 이후에 추가된 코드 구간을 발견했다. 1년 중 세 날짜, 즉 5월 27일, 11월 23일, 12월 29일에 그 날짜가 수요일이나 토요일(추첨일)에 해당하고 추첨이 오후 8시 이후에 진행되면, 생성기는 무작위로 추첨하지 않았다. 조사관들이 '다변수 알고리즘'이라고 부른 것이 작동했으며, 그 결과값은 작성자가 재현할 수 있었다. 1년 중 다른 모든 날에는 감사관들이 승인한 그대로의 완전한 난수 생성기였다.

그렇다면 당첨금 목록을 살펴보자. 콜로라도, 2005년 11월 23일: 568,990달러, 팁턴의 형 토미가 받은 450만 달러 상금의 몫으로, 에디가 제작에 관여한 생성기에서 나온 것이다. 위스콘신, 2007년 12월 29일: 783,257달러, 텍사스 출신 친구인 로버트 로즈가 지배하는 회사에 지급되었고, 그는 이후 팁턴에게 돈을 보냈다. 캔자스, 2010년. 아이오와, 2010년 12월 29일: 끝내 지급되지 않은 1,430만 달러. 오클라호마, 2011년 11월 23일: 120만 달러. 그 모든 것이 11월 23일 아니면 12월 29일이었다. 날짜가 바로 서명이었다. 6년 동안 아무도 알아채지 못한 이유는 아무도 날짜 목록을 들여다보지 않았기 때문이다. 사람들은 인증된 난수 생성기를 보고 있었다.

조작된 생성기가 확률에 미친 영향(이 기사를 위한 계산)

Hot Lotto가 2013년 5월까지 사용한 매트릭스에서 C(39,5) × 19 = 575,757 × 19 = 10,939,383. 생성기의 상태를 재현할 수 있는 플레이어는 더 나은 확률을 가진 것이 아니라 답을 가지고 있는 것이다. 나머지 362일은, 지금까지 밝혀진 바로는 정직했고, 그래서 생성기는 받은 모든 감사를 통과했다.

여기에는 루트킷보다 더 중요한 세부사항이 있다. 난수 생성기는 함수다: 시드가 들어가면 숫자가 나온다. 인증은 그 함수를 검사하지만, 누가 시드를 선택했는지, 또는 그 함수가 1년에 세 번 밤에 조용히 다른 시드를 사용하는지는 검사할 수 없다. 위스콘신 코드는 무작위성을 깨뜨리지 않았다. 그것은 잠시 동안 무작위성을 외부에서 보기에 동일해 보이지만 내부적으로는 완전히 결정된 무언가로 대체했고, 그 후 아무도 확인하기 전에 다시 무작위로 돌아갔다. 전후의 모든 출력 테스트는 통과했을 것이다.

감사가 답할 수 없는 질문: 누가 시드를 선택했는가?

이 사건은 추첨의 어떤 요소가 아니라 보험금 청구 담당자, 철자가 틀린 신탁, 편의점 카메라에 의해 발각되었다. 그것이 불편한 부분이다. MUSL은 밀폐된 방, 인증된 생성기, 5명의 접근 목록, 감시 카메라를 운영했는데, 이 네 가지 모두를 책임지는 사람이 바로 공격자였다. 체포 후 아이오와 복권은 새로운 추첨 장비와 소프트웨어, 새로운 카메라, 새로운 추첨실 프로토콜과 "업무 분리"를 발표했는데, 이는 문제를 정직하게 표현한 말이다: 같은 사람이 함수를 작성하고, 열쇠를 쥐고, 카메라를 설정했다. Hot Lotto 자체는 2017년 10월에 폐지되었다.

구조적 해결책은 더 나은 카메라가 아니다. 결과를 볼 수 있는 사람에게서 시드 선택권을 빼앗는 것이다. 증명 가능한 공정한 게임에서는 운영자가 베팅 전에 시드의 해시를 공개하고, 플레이어는 자신의 시드를 제공하며, 매 라운드의 숫자는 카운터와 함께 이 두 가지를 키 해시한 값이다. 함수를 작성하고 서버 시드를 보유한 내부자라도 결과를 선택할 수 없는데, 플레이어의 시드가 커밋 이후에 도착하고 운영자가 공개된 해시를 깨뜨리지 않고는 자신의 시드를 바꿀 수 없기 때문이다. 티프턴의 1년에 세 번 있는 날짜는 이 규칙 하에서는 불가능했을 것이다. 코드를 작성할 수 없어서가 아니라, 그가 알아야 했던 시드가 그가 선택할 수 있는 것이 아니었기 때문이다.

엔진 검증됨_shared/seedApi.ts: getRandomKey는 {serverSeedHashed, clientSeed, nonce}를 반환하고 setClientSeed(clientSeed)는 플레이어가 자신의 시드를 설정하게 해주며, nonce 0에서 새로운 쌍을 시작한다; _shared/demoLocal.ts는 각 라운드의 숫자를 u64(hmacSha256Utf8(serverSeed, `${clientSeed}-${nonce}-${cursor}`))로 도출하며, 서버의 RandomUtils.generateHash와 일치한다고 설명된다. 그 후 OriginalBaseDiceService.kt는 그 숫자를 9,999개의 동일한 확률을 가진 결과 중 하나로 매핑한다(50%에서 ×1.98, 1.0% 엣지). 서버 시드는 플레이 전에 SHA-256으로 커밋되며; 2026-09-22부터 은퇴한 시드는 앱 내에서 전송되지 않아, 커밋은 플레이어가 열어보는 것이 아니라 지문으로 확인된다.

이것은 증명 가능한 공정한 카지노가 주 복권보다 더 신뢰할 수 있다는 주장이 아니다; 그것은 시드가 하우스만의 선택이 아니라는 더 작은 주장이며, 복권에서는 그것이 하우스만의 선택이었다. 티프턴의 잭팟은 방에 들어가도록 허용된 단 한 사람만큼만 무작위였으며, 그 방은 아무도 알 수 없도록 설계되었다. 공개된 커밋과 하우스가 선택하지 않는 시드가 있었다면, 그는 1년 중 모든 날짜에서 10,939,383분의 1이라는, 다른 모든 사람과 같은 확률을 가졌을 것이다.

遊시드는 하우스가 선택할 수 있는 것이 아니다
베팅 전에 커밋된 해시, 당신의 시드가 섞여들어감 — 어느 한쪽도 결과를 고정할 수 없다다이스 →

자주 묻는 질문

에디 티프턴은 누구였는가?

Hot Lotto와 다른 다주 게임을 운영한 Multi-State Lottery Association의 정보 보안 책임자이자, 난수 생성기 프로그래머 중 한 명이었다. 그는 2010년 12월 29일 아이오와 Hot Lotto 추첨의 당첨 복권을 구매했으며, 1,430만 달러 잭팟은 익명의 벨리즈 신탁을 통해 청구가 들어왔으나 그 신탁이 그의 이름을 밝히기보다 철회하면서 결코 지급되지 않았다.

그는 어떻게 추첨을 조작했는가?

위스콘신에 있는 자매 생성기에 대한 법의학 조사 결과, 인증 이후 추가된 코드가 발견되었는데, 이는 5월 27일, 11월 23일, 12월 29일 중 날짜가 수요일이나 토요일 추첨이며 오후 8시 이후인 경우, 무작위 추첨을 그가 계산할 수 있는 숫자로 대체했다. 2017년 6월 그는 2005~2006년경 이를 설치했다고 자백했다. 검찰은 이전에 그가 2010년 11월 20일 추첨실 방문 시, 카메라가 1분에 1초씩 녹화되는 틈을 타 자가 삭제 프로그램을 설치했다고 주장한 바 있다.

어떤 잭팟들이 연루되었나요?

콜로라도, 2005년 11월 23일 (568,990달러 상당, 그의 형제 토미가 수령); 위스콘신, 2007년 12월 29일 (783,257달러, 로버트 로즈의 회사를 통해); 캔자스, 2010년; 아이오와, 2010년 12월 29일 (1,430만 달러, 몰수됨); 오클라호마, 2011년 11월 23일 (120만 달러). 모두 11월 23일 또는 12월 29일에 발생.

형량은 어떻게 되었나요?

2015년 7월에 유죄 판결을 받고 10년형을 선고받았으나, 2017년 6월 공소시효를 이유로 유죄 판결이 무효화되었습니다. 그 후 지속적인 범죄 행위에 대해 유죄를 인정했고, 2017년 8월 22일 최고형인 25년을 선고받았으며, 콜로라도, 오클라호마, 위스콘신, 캔자스에 나누어 약 220만 달러의 배상금이 부과되었습니다. 그는 5년 복역 후 2022년 7월에 가석방되었습니다.

이런 일이 공정성이 검증된(provably fair) 게임에서도 일어날 수 있나요?

이런 방식으로는 불가능합니다. 운영자는 베팅 전에 공개된 해시로 자신의 시드를 커밋하고, 플레이어는 이후 자신의 시드를 제공하며, 결과는 두 가지 모두의 함수이기 때문에 코드를 작성하고 서버 시드를 보유한 내부자라도 결과를 임의로 선택할 수 없습니다. 여전히 가능한 것은 서버가 자신의 커밋을 지키지 않는 경우인데, 이것이 바로 해시가 먼저 공개되고 플레이어의 시드는 본인이 설정하는 이유입니다.

출처 및 참고자료

• The Daily Beast — M.L. Nestel, “Inside the Biggest Lottery Scam Ever” (2015년 7월 7일): QuikTrip 구매 내역 (핫도그 3.17달러, 티켓 두 장, 약 오후 3시 30분), 분당 1초 카메라, 2010년 11월 20일 추첨실 방문, 만료 1시간 50분 전 Hexham/“Hexam” 청구, 2012년 1월 인출
• CNN — “Ex-lottery worker who rigged winnings gets 25 years in prison” (2017년 8월 22일): 형량, 220만 달러의 배상금 분배 (콜로라도 110만 달러, 오클라호마 644,000달러, 위스콘신 391,000달러, 캔자스 30,000달러), 5개 주 7장의 티켓에 대한 지속적인 범죄 행위 관련 2017년 6월 유죄 인정, 1,430만 달러 아이오와 잭팟
• Associated Press via NBC26 — “Brother of jackpot rigger in massive lottery scandal arrested” (2016년): 위스콘신 코드 세그먼트, 450만 달러 잭팟 중 콜로라도 몫 568,990달러, “여섯 건 모두 2005년부터 2011년 사이 11월 23일 또는 12월 29일 중 하나에 추첨됨”
• Wikipedia — “Hot Lotto fraud scandal” (Des Moines Register, AP, Ars Technica, State v. Tipton, 897 N.W.2d 653 (Iowa 2017) 요약): 위스콘신 포렌식 발견 (5월 27일, 11월 23일, 12월 29일; 수요일/토요일; 오후 8시 이후), 주별 잭팟, 항소, 2017년 자백, 2022년 7월 가석방, 2015년 4월 아이오와 복권 공식 성명
• Wikipedia — “Hot Lotto”: 2013년 5월까지 사용된 5/39 플러스 1/19 매트릭스와 수요일/토요일 추첨 일정
• Betkyo 엔진 소스: _shared/seedApi.ts, _shared/demoLocal.ts, _shared/rng.ts (서버 시드 커밋, 클라이언트 시드, 라운드당 HMAC-SHA256) 및 OriginalBaseDiceService.kt (9,999개 결과, 50%에서 ×1.98, 1% 엣지)
• 이 기사에 대한 계산: C(39,5) × 19 = 575,757 × 19 = 10,939,383

이 기사에서 다루는 게임들

다이스 — 규칙 및 무료 플레이 →크래시 — 규칙 및 무료 플레이 →