Thí nghiệm poker của Satoshi trở lại với yếu tố mới liên quan Bitcoin

Vào năm 2008, khi Satoshi Nakamoto đang chuẩn bị công bố bản báo cáo kỹ thuật, nhà phát minh bí ẩn này dường như đã dành thời gian để phác thảo một phòng poker bên trong mã nguồn của Bitcoin. Ẩn sâu trong mã nguồn ban đầu của Bitcoin là các nút chức năng để chia bài, bỏ bài, theo cược và tăng cược. Chỉ có một vấn đề duy nhất. Không có nút nào trong số đó thực sự dùng để chơi poker.

Phần mềm này có cấu trúc của một bàn chơi, nhưng không có trò chơi nào hoạt động bên trong. 18 năm sau, nhà nghiên cứu Robin Linus của Đại học Stanford đã giải quyết vấn đề mà Satoshi để lại. Vào thứ Năm, Linus đã giới thiệu Bitcoin Poker, một giao thức cho phép hai người chơi một ván Texas Hold'em thực sự bằng cách sử dụng Bitcoin để thực thi quy tắc, thanh toán cược và xử lý những người chơi từ chối hợp tác.

"Thưa Satoshi, vụ tranh chấp BitVM đầu tiên, SHA2-ECDSA đa ngôn ngữ, cơn điên rồ Binohash—tất cả chỉ là những lá thư hâm mộ viết bằng Bitcoin Script. Không điều gì trong số đó quan trọng cho đến khi tôi hiện thực hóa tầm nhìn ban đầu của anh," Linus viết trên X. "Vậy nên tôi cuối cùng đã hoàn thành ứng dụng poker mà anh để dang dở trong Bitcoin v0.1. Hãy liên hệ với tôi để chơi vài ván nhé."

Phòng poker bị lãng quên của Satoshi được hồi sinh

Mã nguồn Bitcoin ban đầu chứa một tệp có tên uibase.cpp, trong đó bao gồm các thành phần đồ họa cho sảnh chờ và bàn chơi poker. Giao diện này có ngày tạo là 16 tháng 4 năm 2008, khoảng sáu tháng trước khi Satoshi công bố sách trắng Bitcoin. Các nút có nhãn “Deal Hand”, “Fold”, “Call” và “Raise” gợi ý về một dự án tham vọng hơn một ứng dụng thanh toán đơn thuần, mặc dù Satoshi chưa bao giờ giải thích công khai ý định của mình với chúng.

Những mảnh ghép ban đầu đó không phải là một ứng dụng poker hoạt động, huống chi là một hệ thống cờ bạc được bảo đảm bởi blockchain. Không có cơ chế nào để chia bài riêng tư, theo dõi cược hoặc xác định ai sẽ nhận tiền thắng cược. Linus đã làm rõ sự khác biệt này trong bản whitepaper Bitcoin Poker của mình, khi viết: “Những đoạn mã giao diện này không phải là một giao thức poker hoàn chỉnh.” Thay vì hồi sinh phần mềm bị bỏ dở của Satoshi, Linus đã bắt tay vào xây dựng lại từ đầu những cơ chế còn thiếu.

Bối cảnh lịch sử khiến phát hiện này càng trở nên thú vị hơn. Quốc hội Mỹ đã thông qua Đạo luật Thi hành Chống Cờ bạc Trực tuyến Bất hợp pháp (UIGEA) vào tháng 10 năm 2006, nhằm vào các giao dịch tài chính liên quan đến cờ bạc trực tuyến bất hợp pháp. Nhiều năm sau, các cơ quan liên bang đã nổi tiếng khi tịch thu các tên miền thuộc sở hữu của các nhà điều hành poker trực tuyến lớn trong đợt trấn áp vào tháng 4 năm 2011, được gọi là “Thứ Sáu Đen”. Vẫn chưa rõ liệu các hạn chế về cờ bạc trực tuyến có ảnh hưởng đến suy nghĩ của Satoshi hay không, nhưng ý tưởng chơi poker mà không cần dựa vào một bộ xử lý thanh toán tập trung chắc chắn phù hợp với mục đích ban đầu của Bitcoin.

Chín lá bài, hai người chơi và không có người chia bài ra lệnh

Linus, một nghiên cứu sinh tiến sĩ tại Stanford, được biết đến nhiều nhất với việc phát triển BitVM, một đề xuất năm 2023 nhằm xác minh các phép tính phức tạp thông qua Bitcoin mà không thay đổi các quy tắc đồng thuận của nó. Các nghiên cứu sau này của anh bao gồm BitVM2, BitVM3, Zerosync và các hệ thống mật mã khác. Bitcoin Poker áp dụng cách tiếp cận sáng tạo tương tự vào một lĩnh vực quen thuộc hơn nhiều so với tính toán trên blockchain.

"Chúng tôi mô tả một giao thức dành cho hai người chơi trong trò Texas Hold’em giới hạn trên Bitcoin," bài báo của Linus giải thích. Trò chơi bao gồm hai người tham gia, mỗi người nhận hai lá bài riêng, trong khi năm lá bài chung xuất hiện khi vòng cược diễn ra. Khác với poker trực tuyến truyền thống, không có máy chủ sòng bạc hay người chia bài đáng tin cậy nào quyết định những lá bài mà người chơi nhận được.

Thay vào đó, cả hai người chơi đều đóng góp thông tin bí mật để tạo ra các lá bài. Như Linus giải thích: “Chỉ cần chín lá bài khác nhau là đủ.” Thay vì xáo trộn toàn bộ bộ bài 52 lá, hệ thống tạo ra chính xác chín lá bài cần thiết cho một ván bài, sử dụng cam kết mật mã và bằng chứng không tiết lộ thông tin để đảm bảo sự công bằng trong việc chia bài.

Cách sắp xếp này đảm bảo không người chơi nào có thể bí mật kiểm soát kết quả. “Không người chơi nào có thể giải mã một mình,” bài báo nêu rõ, khi mô tả thông tin được mã hóa chung được sử dụng trong quá trình thiết lập. Trước khi ván bài bắt đầu, giao thức cũng kiểm tra xem có lá bài trùng lặp hay không mà không tiết lộ danh tính của chúng. Nếu hai lá bài trùng khớp, toàn bộ lượt chia bài đó sẽ bị hủy bỏ và một lượt chia bài mới sẽ bắt đầu.

Có một điểm phức tạp về mặt toán học ở đây. Một ván bài gồm 9 lá được tạo ngẫu nhiên chỉ có khoảng 48% cơ hội vượt qua bài kiểm tra trùng lặp lá bài. Điều đó có nghĩa là hệ thống cần trung bình 2,08 lần thử để tạo ra một ván bài chấp nhận được. Đây là một cách xáo trộn bài tốn kém, nhưng kết quả là một ván bài riêng tư mà không cần phải tin tưởng người ngồi đối diện.

Bitcoin Trở Thành Trọng Tài Khi Ai Đó Từ Chối Hợp Tác

Chia bài là một chuyện. Đảm bảo người thắng được thanh toán lại là một vấn đề hoàn toàn khác, đặc biệt khi cả hai người tham gia đều không có lý do gì để tin tưởng lẫn nhau. Linus giải quyết vấn đề này bằng cách chuẩn bị một tập hợp các giao dịch Bitcoin đại diện cho các kết quả có thể xảy ra của ván bài trước khi đặt cược đầu tiên.

"Các quy tắc xác định một cây có giới hạn," tài liệu trắng giải thích. Mỗi nhánh đại diện cho một hành động được phép, bao gồm bỏ bài, kiểm tra, theo cược, tăng cược, lật bài hoặc chia tiền cược. Người chơi ủy quyền cho các khả năng này trước đó, và các quy tắc giao dịch hiện có của Bitcoin ngăn họ thực hiện các động thái không được phép một cách tùy tiện.

“Các hành động không hợp lệ không có giao dịch được ủy quyền trước,” Linus viết. Giao thức này cũng sử dụng chữ ký bộ điều hợp, cho phép khôi phục thông tin lá bài cần thiết khi các giao dịch cụ thể được ký. Điều này ngăn người chơi lợi dụng các yêu cầu tiết lộ thông tin nhất định để giành lợi thế không công bằng.

Nhưng điều gì sẽ xảy ra khi ai đó quyết định rằng họ đã chơi đủ và từ chối tiếp tục? Linus cũng có câu trả lời cho điều đó. "Mỗi trạng thái đang chờ một người chơi cũng cung cấp một khoản chi tiêu khi đối thủ hết thời gian chờ," bài báo nêu rõ. Sau một khoảng thời gian trì hoãn nhất định, người tham gia còn lại có thể thu về số tiền cược đã cam kết, trong khi số dư chưa sử dụng của người chơi rời khỏi sẽ được hoàn trả.

Nhà nghiên cứu thừa nhận một điểm khác biệt quan trọng. “Giao thức có thể buộc phải thanh toán, nhưng không thể buộc ai đó tiết lộ lá bài.” Nói cách khác, Bitcoin không thể buộc ai đó phải chơi đến cùng, nhưng có thể áp dụng các hậu quả tài chính khi người đó bỏ cuộc.

Trò chơi poker với 56.132 nút đi kèm một điều kiện

Thiết kế này rất thông minh, nhưng không ai nên nhầm lẫn nó với một ứng dụng poker di động nhẹ. Cấu hình tham chiếu của Linus, với 100 big blind cho mỗi người chơi và bốn lần đặt cược mỗi vòng, chứa 56.132 nút logic, cùng với 54.855 chữ ký thông thường và 1.306 gói tiết lộ lá bài. Mỗi gói chứa thêm 52 chữ ký bộ điều hợp.

Bản chụp chuẩn bị hoàn chỉnh có dung lượng 8.416.186 byte, tương đương khoảng 8,4 MB. Trong ba lần thử nghiệm trên trình duyệt máy tính để bàn, việc chuẩn bị và lưu cây giao dịch mất từ 26,39 đến 27,26 giây. Linus cảnh báo rằng “Đây là các số liệu đo lường cố định, không phải là đảm bảo về thời gian khởi động.” Các con số này mô tả một triển khai tham chiếu chứ không phải hiệu suất mà người dùng nên mong đợi từ một sản phẩm hoàn chỉnh.

May mắn thay, lối chơi thông thường không yêu cầu phát sóng tập hợp giao dịch khổng lồ đó. “Chế độ chơi dự kiến là ngoài chuỗi,” bài báo giải thích. Người chơi trao đổi tin nhắn riêng tư, giữ các giao dịch Bitcoin dự phòng trong trường hợp hợp tác bị phá vỡ. Chuỗi khối thực tế đóng vai trò như một trọng tài chờ sẵn bên lề, sẵn sàng giải quyết tranh chấp khi cần thiết.

Gần 18 năm sau, ý tưởng chơi poker của Satoshi đã có những quy tắc thực sự

Vẫn còn những hạn chế. Bitcoin Poker chỉ hỗ trợ hai người tham gia vì các người chơi bổ sung có thể bí mật chia sẻ thông tin về lá bài của họ. Các cuộc đối đầu công khai có thể lộ cả hai bộ bài, và cấu trúc mật mã vẫn cần phân tích bảo mật độc lập trước khi ai đó xem xét đưa vào sử dụng thực tế.

Linus không cố gắng che giấu những thiếu sót đó. “Đây không phải là bằng chứng chính thức về giao thức hoàn chỉnh đối phó với bên độc hại,” bài báo thừa nhận. Các thử nghiệm hiện có sử dụng Bitcoin Core đã kiểm tra các thành phần quan trọng, bao gồm thanh toán và các đường dẫn hết thời gian chờ, nhưng “Phạm vi kiểm thử không phải là bằng chứng bảo mật.”

Tuy nhiên, thành tựu này vượt ra ngoài phạm vi trò chơi poker. Linus đã chứng minh cách các khả năng kịch bản và chữ ký hiện có của Bitcoin có thể thực thi một trò chơi liên quan đến thông tin ẩn, các quyết định phức tạp và thanh toán tài chính mà không cần thay đổi các quy tắc cơ bản của mạng.

Nhà phát minh bí ẩn của Bitcoin đã để lại một bàn poker với những nút bấm không có nhiều tác dụng. Mười tám năm sau, Linus đã phát triển các quy tắc mật mã cần thiết để chia bài, chơi ván bài và chia tiền thắng cược. Câu hỏi còn lại là liệu cấu trúc phức tạp này có thể trở nên đủ thực tế để những người chơi bình thường có thể thử sức với nó hay không.