Công việc
Máy slot là một tuyên bố về xác suất mà bạn không thể kiểm tra. Các cuộn là hình ảnh; kết quả được quyết định bởi mã trên chip, và không có người chơi nào từng có thể đọc chip đó. Vì vậy ngành công nghiệp đã xây dựng một chuỗi tin tưởng thay vì bằng chứng: nhà sản xuất viết phần mềm, nhân viên kỹ thuật của cơ quan quản lý tiểu bang kiểm tra nó, và chương trình được chứng nhận được ghi lên chip và niêm phong vào tủ. Mọi thứ sau đó đều dựa vào cuộc kiểm tra.
Ronald Dale Harris làm việc tại cuộc kiểm tra đó. Anh ấy là một kỹ sư máy tính tại Hội đồng Kiểm soát Trò chơi Nevada vào đầu những năm 1990, chịu trách nhiệm tìm ra các lỗi và thiết bị gian lận trong phần mềm chạy các trò chơi casino máy tính. Đơn loại trừ sau này của New Jersey mô tả anh ấy rõ ràng là một kỹ sư chuyên phát hiện phần mềm và thiết bị được thiết kế để gian lận trong trò chơi máy slot. Anh ấy có mã nguồn, các công cụ và vị thế đến từ việc là người ký phê duyệt.
Cộng phạm Ronald D. Harris là một kỹ sư chuyên phát hiện phần mềm và thiết bị được thiết kế để gian lận trong trò chơi máy slot. New Jersey Division of Gaming Enforcement, lệnh loại trừ cho Reid E. McNeal, docket 95-0240-EL
Hai mưu đồ, và chỉ một trong số đó là can thiệp
Những gì Harris chạy không phải là một trò lừa đảo mà là hai, và cái thứ hai thú vị hơn cái thứ nhất.
Cái thứ nhất là một cửa hậu. Sử dụng quyền truy cập của mình vào mã nguồn, anh ấy đã sửa đổi một số máy nhất định sao cho việc nhập tiền xu trong một trình tự và số lượng cụ thể sẽ kích hoạt một khoản thanh toán lớn. Từ năm 1993 đến 1995, anh ấy và một đồng phạm đã lấy được hàng nghìn đô la từ các sòng bạc Las Vegas. Đó là một cuộc tấn công từ bên trong sạch sẽ: người kiểm tra mã thù địch đang thêm nó.
Mưu đồ thứ hai không chạm vào gì. Về cuối, Harris chuyển sang keno và viết một chương trình xác định trước các số mà trình tạo số giả ngẫu nhiên của trò chơi sẽ chọn. Không có chip nào bị thay đổi. Không có niêm phong nào bị phá vỡ. Máy chạy chính xác mã mà nó đã được chứng nhận, và tạo ra chính xác những con số mà mã đó luôn sắp tạo ra — đó chính là toàn bộ vấn đề.
| CỬA HẬU TRÌNH TỰ TIỀN XU | BỘ DỰ ĐOÁN KENO | |
|---|---|---|
| Điều gì thay đổi | Chương trình trên máy | Không có gì |
| Điều gì một cuộc kiểm tra sẽ tìm thấy | Mã đã được thay đổi — nếu ai đó đọc lại nó | Không có gì để tìm; máy tuân thủ |
| Tại sao nó hoạt động | Người kiểm tra là kẻ tấn công | Kết quả có thể dự đoán được cho bất kỳ ai biết thuật toán |
| Những gì nó ngụ ý về việc khắc phục | Không nên dựa vào một người đọc được tin tưởng | Không nên dựa vào việc phương pháp vẫn giữ bí mật |
Một trình tạo giả ngẫu nhiên là một hàm xác định. Cung cấp cho nó cùng một trạng thái ban đầu và nó sẽ tạo ra cùng một chuỗi mỗi lần, và sự không thể dự đoán của nó đối với người chơi là một vấn đề của trạng thái đó và thuật toán đó bị biết. Harris biết cả hai. Từ bên ngoài, trò chơi không bị chạm và lành mạnh; từ nơi anh ta đứng nó là một danh sách được in.
Atlantic City, tháng 1 năm 1995
The scheme ended at the cage. On 15 January 1995 Harris and Reid E. McNeal were charged with attempted theft by deception, conspiracy and computer theft, over an attempt to obtain a $100,000 keno jackpot from Bally’s Park Place Casino/Hotel in Atlantic City using proprietary computer software information. The charge is worth reading closely: attempted. The ticket was never paid.
Điều đã ngăn chặn nó không phải là một biện pháp kiểm soát kỹ thuật. Khi McNeal trình bày vé trúng thưởng, các nhà quản lý sòng bạc cảm thấy cách cử xử của anh ta đáng ngờ và gọi các điều tra viên chơi game New Jersey. Toán học đã bị đánh bại; người thu tiền không chuẩn bị để thể hiện sự vui mừng.
| NGÀY | SỰ KIỆN |
|---|---|
| 1993–1995 | Harris và một cộng sự lấy hàng ngàn từ các sòng bạc Las Vegas thông qua các máy được sửa đổi |
| 15 tháng 1 năm 1995 | Harris và McNeal bị buộc tội tại New Jersey liên quan đến nỗ lực jackpot keno 100.000 đô la |
| 21 tháng 6 năm 1995 | New Jersey phát hành lệnh loại trừ sơ bộ chống lại McNeal (docket 95-0240-EL) |
| 5 tháng 11 năm 1997 | Lệnh loại trừ New Jersey được đưa vào cuối cùng |
Harris bị kết án bảy năm và được ph釋放 sau khi phục vụ hai năm. Anh ta được liệt kê trong cuốn sách đen của Hội đồng kiểm soát trò chơi Nevada và bị cấm vào các sòng bạc trong tiểu bang.
Trường hợp này thực sự chứng minh điều gì
Bài học đạo đức thông thường được rút ra từ Harris là các nhà quản lý cần kiểm tra kỹ lưỡng hơn. Điều đó là đúng và nó rất nhỏ. Bài học lớn hơn là cấu trúc, và nó áp dụng cho mọi hệ thống chơi game được xây dựng theo cách tương tự kể từ đó.
- Một người đọc đáng tin cậy là một điểm lỗi duy nhất. Nếu đảm bảo là "một chuyên gia đã kiểm tra nó", thì đảm bảo chính xác là mạnh như chuyên gia đó, và nó thất bại hoàn toàn và im lặng khi họ thay đổi.
- Bảo mật không phải là tính chất bảo mật. Bộ dự đoán keno không cần bất kỳ can thiệp nào. Một hệ thống có công bằng phụ thuộc vào việc không ai biết cách nó hoạt động đã mất cho bất kỳ ai làm được — điều này, trong một ngành được quản lý, bao gồm một dàn nhân viên, kiểm tra viên và nhà thầu xoay vòng.
- Người chơi nằm ngoài bằng chứng. Trong mô hình những năm 1990, không có người chơi nào có thể xác minh bất cứ điều gì. Phản hồi tốt nhất có sẵn cho câu hỏi "làm cách nào tôi biết điều này là công bằng?" là một cái tên trên chứng chỉ, đó là câu trả lời đã thất bại ở đây.
Mật mã đã trả lời điểm giữa vào thế kỷ thứ chín. Nguyên tắc Kerckhoffs cho rằng một hệ thống nên giữ an toàn ngay cả khi tất cả mọi thứ về thiết kế của nó là công khai, và điều duy nhất được phép bảo mật là một chìa khóa. Bộ tạo keno có độ an toàn dựa trên thuật toán của nó bị ẩn giấu sẽ thất bại khi nó được viết. Nó chỉ không thất bại công khai cho đến khi ai đó như Harris xuất hiện.
Mô hình thay thế nó
Công bằng cam kết-lộ diện tồn tại để loại bỏ chính xác giả định Harris phá vỡ. Nhà cái tạo hạt giống máy chủ và công bố hash của nó trước khi bạn đặt cược — một cam kết nó không thể thay đổi sau đó. Hạt giống khách hàng của riêng bạn được trộn vào kết quả, vì vậy kết quả phụ thuộc vào giá trị mà nhà cái không chọn. Một bộ đếm làm cho mỗi vòng khác biệt. Xoay cặp hạt giống và hạt giống máy chủ cũ được tiết lộ, tại điểm đó mọi vòng trong quá khứ có thể được tính toán lại trên máy của bạn và kiểm tra đối với những gì bạn được trả.
Đọc điều đó so với hai sơ đồ ở trên. Cửa hậu thất bại vì kết quả được ghim bởi một cam kết được thực hiện trước khi đặt cược, vì vậy không có đường mã nào có thể quyết định trả khác nhau khi nó biết những gì bạn đã làm. Bộ dự đoán thất bại vì biết thuật toán không mua bất cứ điều gì: hạt giống máy chủ được cam kết và ẩn, hạt giống khách hàng của bạn là của bạn, và toàn bộ phương pháp có thể được công bố mà không làm yếu nó. Đó là điểm — thuật toán dự kiến là công khai. Toàn bộ hướng dẫn xác minh một vòng mất khoảng một phút, và nó là một bằng chứng chứ không phải là một lời hứa.
Điều đáng giá để chính xác về những gì điều này mua và không mua, bởi vì quá mức yêu cầu ở đây là loại bất trung thành riêng của nó. Một lần rút thăm được xác minh chứng minh rằng những con số không bị điều chỉnh. Nó không nói gì về việc liệu bảng trả thưởng có hào phóng hay không — một trò chơi trả một nửa giá trị công bằng xác minh hoàn hảo. Đó là hai câu hỏi riêng biệt, và chỉ có bảng trả thưởng được công bố mới trả lời câu hỏi thứ hai.
Cũng không có cam kết-lộ diện làm cho nhà điều hành trung thực theo chính nó. Nó thu hẹp những gì bất trung thực có thể trông như thế nào: nhà cái vẫn có thể định giá một trò chơi tồi tệ, nhưng nó không còn có thể quyết định kết quả của một vòng sau khi thấy cược của bạn, và nó không còn có thể dựa vào việc bạn không thể kiểm tra.
Harris được nhớ đến như một kẻ gian lận, điều mà anh ta đã làm. Anh ta hữu dụng hơn như một bằng chứng của phủ định: anh ta đã chứng minh, hai lần, rằng một mô hình tin tưởng dựa trên tính toàn vẹn và quyết định của người trong cuộc cuối cùng sẽ gặp một người trong cuộc. Câu trả lời của ngành công nghiệp là tiếp tục thuê những người cẩn thận. Câu trả lời tốt hơn là ngừng cần họ.
Câu hỏi thường gặp
Ronald Dale Harris là ai?
Một kỹ sư máy tính được tuyên dụng bởi Hội đồng Kiểm soát Chơi game Nevada vào đầu những năm 1990, công việc của anh ta là phát hiện phần mềm và thiết bị được thiết kế để gian lận trong trò chơi máy đánh bạc. Anh ta đã sử dụng quyền truy cập đó để làm bẩn các máy chính mình.
Ronald Harris đã gian lận máy đánh bạc như thế nào?
Anh ta đã sửa đổi phần mềm trên các máy nhất định sao cho việc đưa tiền xu vào một chuỗi và số cụ thể sẽ kích hoạt một khoản thanh toán lớn. Giữa 1993 và 1995, anh ta và một người đồng phạm đã sử dụng nó để lấy hàng nghìn đô la từ các sòng bạc Las Vegas.
Anh ta đã bị bắt như thế nào?
Không phải bởi một kiểm soát kỹ thuật. Người đồng phạm Reid McNeal của anh ta đã cố gắng nhận được jackpot keno 100.000 đô la tại Bally's Park Place ở Atlantic City; các giám đốc điều hành sòng bạc thấy hành vi của anh ta đáng ngờ và cảnh báo các điều tra viên chơi game New Jersey. Cả hai đều bị truy tố vào ngày 15 tháng 1 năm 1995.
Điều gì đã xảy ra với anh ta?
Anh ta bị kết án bảy năm tù và được ph釈放 sau khi chấp hành hai năm. Anh ta được liệt kê trong cuốn sách đen của Nevada Gaming Control Board, cấm anh ta vào các sòng bạc được cấp phép trong tiểu bang.
Liệu cuộc tấn công dự đoán keno có thể hoạt động chống lại một trò chơi provably fair không?
Không theo cách tương tự. Harris khai thác một bộ tạo có đầu ra có thể dự đoán được cho những người biết thuật toán và trạng thái của nó. Dưới commit-reveal, seed máy chủ được cam kết bằng hash trước khi đặt cược và được tiết lộ sau đó, và seed máy khách của riêng bạn sẽ đưa vào kết quả — vì vậy công bố thuật toán không tốn gì cả, và kết quả không thể thay đổi sau khi bạn đặt cược.
NGUỒN & TÀI LIỆU THAM KHẢO
- New Jersey Division of Gaming Enforcement — lệnh loại trừ cho Reid E. McNeal, docket 95-0240-EL (các cáo buộc ngày 15 tháng 1 năm 1995, nỗ lực keno $100,000 của Bally's Park Place, vai trò của Harris)
- Ronald Dale Harris — việc làm, sửa đổi dãy đồng xu, chương trình keno, bắt giữ và kết án
- Nevada Gaming Control Board — Danh sách những người bị loại trừ
- Auguste Kerckhoffs, "La cryptographie militaire" (1883) — nguyên tắc rằng một hệ thống phải duy trì an toàn khi tất cả mọi thứ ngoại trừ khóa được công khai
CÁC TRÒ CHƠI TRONG BÀI VIẾT NÀY