그 일
슬롯머신은 당신이 검사할 수 없는 확률에 대한 주장이다. 릴은 그림이고, 결과는 칩의 코드로 결정되며, 어떤 플레이어도 그 칩을 읽을 수 없었다. 그래서 산업은 증명 대신 신뢰의 사슬을 만들었다: 제조사가 소프트웨어를 작성하고, 주 규제 기관의 기술 직원이 이를 검토하고, 인증된 프로그램은 칩에 구워져 캐비닛에 밀봉된다. 그 이후의 모든 것은 그 검토에 달려 있다.
Ronald Dale Harris는 그 검토 업무에 종사했다. 그는 1990년대 초 Nevada Gaming Control Board의 컴퓨터 엔지니어로, 컴퓨터화된 카지노 게임을 실행하는 소프트웨어의 결함과 부정행위 장치를 찾는 일을 맡았다. New Jersey의 나중 배제 신청서는 그를 명확하게 슬롯머신 플레이에서 부정행위를 하도록 설계된 소프트웨어 및 장치 탐지를 전문으로 하는 엔지니어로 묘사한다. 그는 소스 코드, 도구, 그리고 서명을 할 수 있는 사람이라는 지위를 가지고 있었다.
공모자 Ronald D. Harris는 슬롯머신 플레이에서 부정행위를 하도록 설계된 소프트웨어 및 장치 탐지를 전문으로 하는 엔지니어다. New Jersey Division of Gaming Enforcement, Reid E. McNeal 배제 명령, 소송 번호 95-0240-EL
두 가지 계획, 그 중 하나만 조작이었다
Harris가 운영한 것은 하나의 사기가 아니라 두 가지였고, 두 번째가 첫 번째보다 훨씬 더 흥미롭다.
첫 번째는 백도어였다. 소스 코드에 대한 접근권을 이용해 그는 특정 기계들을 수정했는데, 특정한 순서와 개수로 동전을 삽입하면 큰 배당을 트리거할 것이다. 1993년부터 1995년까지 그와 공범은 라스베이거스 카지노에서 수천 달러를 가져갔다. 이는 깨끗한 내부자 공격이다: 악의적인 코드를 찾는 사람이 이를 추가하고 있었던 것이다.
두 번째 계획은 아무것도 건드리지 않았다. 마지막 무렵, Harris는 키노로 방향을 바꾸고 게임의 의사 난수 생성기가 어떤 숫자를 선택할 것인지 미리 결정하는 프로그램을 작성했다. 어떤 칩도 변경되지 않았다. 어떤 봉인도 깨지지 않았다. 기계는 인증받은 코드를 정확히 실행했고, 그 코드가 항상 생성할 예정이었던 숫자들을 정확히 생성했다 — 이것이 바로 전체 문제였다.
| 동전-시퀀스 백도어 | 키노 예측 프로그램 | |
|---|---|---|
| 무엇이 바뀌었는가 | 기계의 프로그램 | 아무것도 |
| 검사가 발견할 것 | 변경된 코드 — 만약 누군가 다시 읽었다면 | 찾을 것이 없다; 기계는 규정을 준수했다 |
| 작동한 이유 | 검사자가 공격자였다 | 결과는 알고리즘을 알고 있는 누구에게나 예측 가능했다 |
| 그것이 암시하는 해결책 | 한 명의 신뢰할 수 있는 독자에게만 의존하지 말 것 | 그 방법이 비밀로 유지될 것에 의존하지 말 것 |
의사난수 생성기는 결정론적 함수이다. 같은 시작 상태를 입력하면 매번 같은 수열을 생성하며, 플레이어가 이를 예측할 수 없다는 것은 그 상태와 알고리즘이 알려지지 않았다는 문제이다. Harris는 둘 다 알고 있었다. 외부에서는 게임이 손대지 않았고 정직해 보였지만, 그가 서 있던 곳에서는 인쇄된 목록일 뿐이었다.
애틀란틱 시티, 1995년 1월
그 계획은 케이지에서 끝났다. 1995년 1월 15일, Harris와 Reid E. McNeal은 Atlantic City의 Bally's Park Place Casino/Hotel에서 독점 컴퓨터 소프트웨어 정보를 이용해 $100,000 keno 잭팟을 획득하려는 시도에 대해 기망에 의한 절도 미수, 공모 및 컴퓨터 절도 혐의로 기소되었다. 그 혐의는 자세히 읽어볼 가치가 있다: 미수. 그 티켓은 절대 지급되지 않았다.
그것을 멈춘 것은 기술적 통제가 아니었다. McNeal이 우승 티켓을 제시했을 때, 카지노 경영진은 그의 태도가 의심스럽다고 느껴 뉴저지 게이밍 조사관을 불렀다. 수학은 이미 깨졌는데, 돈을 받으러 온 남자는 기뻐하는 것을 리허설하지 않았던 것이다.
| 날짜 | 사건 |
|---|---|
| 1993–1995 | Harris와 그의 공범이 수정된 기계를 통해 Las Vegas 카지노에서 수천 달러를 빼앗다 |
| 1995년 1월 15일 | $100,000 keno 잭팟 시도에 대해 뉴저지에서 Harris와 McNeal 기소 |
| 1995년 6월 21일 | 뉴저지가 McNeal에 대한 예비 제외 명령 발부 (docket 95-0240-EL) |
| 1997년 11월 5일 | 뉴저지 제외 명령이 최종화됨 |
Harris는 7년형을 받고 2년 복역 후 석방되었다. 그는 Nevada Gaming Control Board의 블랙북에 등재되어 있으며 주의 카지노 출입이 금지되어 있다.
그 사건이 실제로 증명하는 것
Harris에서 얻는 통상적인 교훈은 규제기관이 더 나은 심사를 필요로 한다는 것입니다. 그것은 맞지만 작은 것입니다. 더 큰 교훈은 구조적이며, 같은 방식으로 지어진 모든 게이밍 시스템에 적용됩니다.
- 신뢰할 수 있는 검증자는 단일 실패 지점입니다. 보장이 "전문가가 검토했다"는 것이라면, 그 보장은 정확히 그 전문가만큼만 강하며, 그들이 돌변할 때 완전하고 조용히 실패합니다.
- 비밀성은 보안 속성이 아닙니다. 케노 예측 도구는 전혀 변조가 필요하지 않았습니다. 공정성이 그 작동 방식을 아무도 모르는 데에 달려있는 시스템은 이미 그것을 아는 누구에게나 졌습니다. 규제 산업에서는 직원, 검사관, 계약업자의 순환 집단을 포함합니다.
- 플레이어는 증명 외부에 있습니다. 1990년대 모델에서는 어떤 플레이어도 아무것도 검증할 수 없었습니다. "이것이 공정하다는 것을 어떻게 알 수 있나요?"에 대한 최선의 대응은 인증서의 이름이었으며, 이것이 여기서 실패한 답변입니다.
암호학은 이미 19세기에 중간 지점을 답변했습니다. Kerckhoffs의 원칙은 시스템이 그 설계에 대한 모든 것이 공개되어도 안전하게 유지되어야 하며, 비밀로 유지될 수 있는 유일한 것은 키라고 규정합니다. 안전성이 알고리즘이 미지의 것에 의존하는 케노 생성기는 작성되는 날에 이 테스트에 실패합니다. Harris 같은 누군가가 나타날 때까지 공개적으로 실패하지 않을 뿐입니다.
그것을 대체한 모델
커밋-리빌 공정성은 정확히 Harris가 깨뜨린 가정을 제거하기 위해 존재합니다. 하우스는 서버 시드를 생성하고 베팅 전에 해시를 게시합니다. 이것은 그 후에 변경할 수 없는 약속입니다. 당신의 클라이언트 시드는 결과에 혼합되므로, 결과는 하우스가 선택하지 않은 값에 의존합니다. 카운터는 각 라운드를 구별하게 만듭니다. 시드 쌍을 로테이션하면 이전 서버 시드가 공개되고, 그 시점에서 모든 이전 라운드는 당신의 머신에서 재계산되어 당신이 받은 것에 대해 확인할 수 있습니다.
위의 두 방식과 비교해서 읽어보세요. 백도어는 베팅 전에 만든 약속에 의해 결과가 고정되므로 실패합니다. 따라서 어떤 코드 경로도 당신이 무엇을 했는지 알게 된 후에 다르게 지불하기로 결정할 수 없습니다. 예측 도구는 알고리즘을 아는 것이 아무것도 구매하지 않으므로 실패합니다. 서버 시드는 커밋되고 숨겨지고, 당신의 클라이언트 시드는 당신의 것이며, 전체 방법은 그것을 약화시키지 않고 공개할 수 있습니다. 이것이 핵심입니다. 알고리즘은 공개되도록 의도되었습니다. 전체 라운드 검증 안내는 약 1분이 걸리며, 이것은 약속이 아닌 증명입니다.
이것이 무엇을 구매하고 무엇을 구매하지 않는지에 대해 정확하게 하는 것은 가치가 있습니다. 왜냐하면 과도한 주장은 그 자체로 일종의 부정직이기 때문입니다. 검증된 드로우는 숫자가 조종되지 않았음을 증명합니다. 페이테이블이 관대한지 여부에 대해서는 아무것도 말하지 않습니다. 공정한 가치의 절반을 지불하는 게임도 완벽하게 검증됩니다. 이것은 두 가지 별개의 질문이며, 공개된 페이테이블만이 두 번째 질문에 답합니다.
또한 커밋-리빌은 자체로 운영자를 정직하게 만들지 않습니다. 그것은 부정직이 어떤 것인지 좁힙니다. 하우스는 여전히 게임을 잘못 가격할 수 있지만, 더 이상 당신의 베팅을 본 후에 라운드의 결과를 결정할 수 없으며, 더 이상 당신이 확인할 수 없다는 것에 의존할 수 없습니다.
Harris는 사기꾼으로 기억되고, 그것이 맞습니다. 그는 부정의 증명으로 더 유용합니다. 그는 내부자의 무결성과 신중함에 기초한 신뢰 모델이 결국 내부자를 만날 것이라는 것을 두 번 증명했습니다. 업계의 답변은 신중한 사람들을 계속 고용하는 것이었습니다. 더 나은 답변은 그들을 필요로 하지 않는 것입니다.
遊베팅 전에 드로우가 커밋된 케노
보드, 페이아웃 테이블, 그리고 나중에 확인할 수 있는 시드 쌍케노 →
FAQ
Ronald Dale Harris는 누구였나요?
1990년대 초반 Nevada Gaming Control Board에 고용된 컴퓨터 엔지니어로, 슬롯 머신 플레이를 속이도록 설계된 소프트웨어와 장치를 탐지하는 것이 그의 일이었습니다. 그는 그 접근을 사용해 자신도 머신을 조작했습니다.
Ronald Harris는 슬롯 머신을 어떻게 속였나요?
그는 특정 머신의 소프트웨어를 수정하여 특정 순서와 수로 동전을 삽입하면 큰 보상이 나오도록 했습니다. 1993년과 1995년 사이에 그와 공범은 라스베이거스 카지노에서 수천 달러를 빼냈습니다.
그는 어떻게 적발되었나요?
기술적 통제로는 아닙니다. 그의 공범 Reid McNeal은 Atlantic City의 Bally's Park Place에서 $100,000 케노 잭팟을 수령하려고 했습니다. 카지노 경영진이 그의 행동을 의심스러워 New Jersey 게이밍 조사관들에게 알렸습니다. 둘 다 1995년 1월 15일에 고발되었습니다.
그에게 무슨 일이 일어났나요?
그는 7년형을 받았고 2년을 복역한 후 석방되었습니다. 그는 Nevada Gaming Control Board의 블랙북에 등록되어 있으며, 이는 그가 주의 인가된 카지노에 입장하는 것을 금지합니다.
Keno 예측 공격이 provably fair 게임에 대해 작동할 수 있을까요?
같은 방식으로는 아닙니다. Harris는 알고리즘과 상태를 알고 있는 사람에게 예측 가능한 출력을 가진 생성기를 악용했습니다. Commit-reveal에서는 서버 시드가 베팅 전에 해시로 커밋되고 나중에 공개되며, 당신의 클라이언트 시드가 결과에 들어가므로 알고리즘을 공개하는 것은 아무 이득이 없고, 베팅이 배치된 후에는 결과를 변경할 수 없습니다.
SOURCES & REFERENCES
- New Jersey Division of Gaming Enforcement — exclusion order for Reid E. McNeal, docket 95-0240-EL (charges of 15 January 1995, the $100,000 Bally's Park Place keno attempt, Harris's role)
- Ronald Dale Harris — employment, the coin-sequence modification, the keno program, arrest and sentence
- Nevada Gaming Control Board — List of Excluded Persons
- Auguste Kerckhoffs,
THE GAMES IN THIS ARTICLE