Experiência abandonada de Satoshi no pôquer volta com toque Bitcoin

Em 2008, quando Satoshi Nakamoto se preparava para publicar o white paper, o misterioso inventor aparentemente encontrou tempo para esboçar uma sala de pôquer dentro da base de código do Bitcoin. Escondidos no código-fonte mais antigo do Bitcoin estavam botões para distribuir cartas, desistir, pagar e aumentar as apostas. Havia apenas um problema. Nada disso realmente jogava pôquer.

O software tinha os elementos básicos de uma mesa, mas nenhum jogo funcional por trás. Dezoito anos depois, o pesquisador de Stanford Robin Linus resolveu o problema que Satoshi deixou para trás. Na quinta-feira, Linus apresentou o Bitcoin Poker, um protocolo que permite que duas pessoas joguem uma partida genuína de Texas Hold’em usando o Bitcoin para fazer valer as regras, liquidar apostas e lidar com jogadores que se recusam a cooperar.

“Caro Satoshi, a primeira disputa no BitVM, o poliglota SHA2-ECDSA, a loucura do Binohash — tudo isso não passa de cartas de fãs escritas em Bitcoin Script. Nada disso importa até que eu concretize sua visão original”, escreveu Linus no X. “Então, finalmente terminei o cliente de pôquer que você deixou inacabado no Bitcoin v0.1. Me manda uma mensagem pra jogarmos algumas mãos.”

A sala de pôquer esquecida de Satoshi ganha uma segunda vida

O código-fonte original do Bitcoin continha um arquivo chamado uibase.cpp, que incluía componentes gráficos para um lobby e uma mesa de pôquer. A interface apresentava a data de geração de 16 de abril de 2008, cerca de seis meses antes de Satoshi publicar o white paper do Bitcoin. Botões com os nomes “Deal Hand”, “Fold”, “Call” e “Raise” sugeriam algo mais ambicioso do que um simples aplicativo de pagamentos, embora Satoshi nunca tenha explicado publicamente o que pretendia fazer com eles.

Esses fragmentos iniciais não constituíam um cliente de pôquer funcional, muito menos um sistema de apostas baseado em blockchain. Não havia nenhum mecanismo para distribuir cartas particulares, rastrear apostas ou determinar quem deveria receber os ganhos. Linus deixa essa distinção clara em seu white paper do Bitcoin Poker, escrevendo: “Esses fragmentos de interface não constituíam um protocolo completo de pôquer”. Em vez de ressuscitar o software abandonado por Satoshi, Linus decidiu construir do zero a estrutura que faltava.

O contexto histórico torna a descoberta ainda mais interessante. O Congresso aprovou a Lei de Combate aos Jogos de Azar Ilegais na Internet (Unlawful Internet Gambling Enforcement Act) em outubro de 2006, visando transações financeiras associadas a jogos de azar ilegais na internet. Anos mais tarde, as autoridades federais apreenderam, de forma notória, domínios pertencentes a grandes operadoras de pôquer online durante a operação de abril de 2011 conhecida como “Black Friday”. Não se sabe se as restrições aos jogos de azar online influenciaram o pensamento de Satoshi, mas a ideia de jogar pôquer sem depender de um processador de pagamentos centralizado certamente se encaixa no propósito original do Bitcoin.

Nove cartas, dois jogadores e nenhum crupiê mandando na jogada

Linus, um doutorando de Stanford, é mais conhecido por desenvolver o BitVM, uma proposta de 2023 para verificar cálculos complexos por meio do Bitcoin sem alterar suas regras de consenso. Suas pesquisas posteriores incluem o BitVM2, o BitVM3, o Zerosync e outros sistemas criptográficos. O Bitcoin Poker aplica essa mesma abordagem inovadora a algo consideravelmente mais familiar do que a computação em blockchain.

“Descrevemos um protocolo para dois jogadores no Texas Hold’em com limite no Bitcoin”, explica o artigo de Linus. O jogo envolve dois participantes, cada um recebendo duas cartas privadas, enquanto cinco cartas comunitárias são reveladas à medida que as apostas avançam. Ao contrário do pôquer online convencional, nenhum servidor de cassino ou crupiê de confiança determina quais cartas os jogadores recebem.

Em vez disso, ambos os participantes contribuem com informações secretas para gerar as cartas. Como explica Linus: “São necessárias apenas nove cartas distintas”. Em vez de embaralhar um baralho inteiro de 52 cartas, o sistema gera precisamente as nove cartas necessárias para uma única mão, usando compromissos criptográficos e provas de conhecimento zero para manter a distribuição justa.

Esse arranjo garante que nenhum dos participantes possa controlar secretamente o resultado. “Nenhum dos jogadores, sozinho, consegue descriptografar”, afirma o artigo, descrevendo as informações criptografadas em conjunto utilizadas durante a configuração. Antes do início do jogo, o protocolo também verifica se há cartas duplicadas sem expor suas identidades. Se duas cartas forem iguais, toda a tentativa é descartada e uma nova distribuição é iniciada.

Há uma peculiaridade matemática aqui. Uma distribuição de nove cartas gerada aleatoriamente tem apenas cerca de 48% de chance de passar no teste de cartas duplicadas. Isso significa que o sistema precisa de uma média de 2,08 tentativas para produzir uma mão aceitável. É uma maneira cara de embaralhar cartas, mas o resultado é uma distribuição privada que não exige que se confie na pessoa sentada do outro lado da mesa.

O Bitcoin se torna o árbitro quando alguém se recusa a cooperar

Distribuir as cartas é uma coisa. Garantir que o vencedor receba o pagamento é outra questão totalmente diferente, especialmente quando nenhum dos participantes tem motivo para confiar no outro. O Linus lida com esse problema preparando um conjunto de transações em Bitcoin que representam os possíveis resultados do jogo antes que a primeira aposta seja feita.

“As regras definem uma árvore finita”, explica o white paper. Cada ramo representa uma ação permitida, incluindo desistir, passar, igualar, aumentar a aposta, revelar cartas ou dividir o pote. Os jogadores autorizam essas possibilidades com antecedência, e as regras de transação existentes do Bitcoin impedem que eles improvisem jogadas não autorizadas.

“Ações inválidas não têm transação pré-autorizada”, escreve Linus. O protocolo também utiliza assinaturas adaptadoras, que permitem que as informações necessárias sobre as cartas sejam recuperadas quando transações específicas são assinadas. Isso impede que os jogadores explorem certos requisitos de divulgação para obter uma vantagem injusta.

Mas o que acontece quando alguém decide que já basta e se recusa a continuar? Linus também tem uma resposta para isso. “Cada estado que aguarda um jogador também oferece um tempo limite para o adversário”, afirma o artigo. Após um atraso especificado, o participante restante pode receber o pote comprometido, enquanto o saldo não utilizado do jogador que está saindo é devolvido.

O pesquisador reconhece uma distinção importante. “O protocolo pode forçar a liquidação, mas não pode forçar alguém a revelar uma carta.” Em outras palavras, o Bitcoin não pode obrigar alguém a terminar o jogo, mas pode impor as consequências financeiras de desistir.

Um jogo de pôquer com 56.132 nós tem uma pegadinha

O projeto é inteligente, mas ninguém deve confundi-lo com um aplicativo leve de pôquer para celular. A configuração de referência de Linus, com 100 big blinds por jogador e quatro apostas por rodada, contém 56.132 nós lógicos, além de 54.855 assinaturas comuns e 1.306 pacotes de revelação de cartas. Cada pacote contém mais 52 assinaturas de adaptador.

O snapshot completo da preparação pesa 8.416.186 bytes, aproximadamente 8,4 MB. Em três testes em navegadores de desktop, a preparação e o salvamento da árvore de transações levaram entre 26,39 e 27,26 segundos. Linus adverte que “essas são medições em ambiente de teste, não garantias de inicialização”. Os números descrevem uma implementação de referência, e não o desempenho que os usuários devem esperar de um produto finalizado.

Felizmente, o jogo comum não exige a transmissão dessa enorme coleção de transações. “O modo de jogo pretendido é fora da cadeia”, explica o artigo. Os jogadores trocam mensagens de forma privada, mantendo as transações de Bitcoin em reserva caso a cooperação seja interrompida. A blockchain funciona efetivamente como um árbitro à espera à margem, pronto para resolver disputas quando necessário.

Quase dezoito anos depois, a ideia de pôquer de Satoshi ganhou regras reais

Ainda há limitações. O Bitcoin Poker suporta apenas dois participantes, pois jogadores adicionais poderiam compartilhar secretamente informações sobre suas cartas. Confrontos públicos podem expor ambas as mãos, e a construção criptográfica ainda precisa de uma análise de segurança independente antes que alguém a considere pronta para produção.

Linus não tenta esconder essas deficiências. “Não se trata de uma prova formal do protocolo completo contra partes mal-intencionadas”, reconhece o artigo. Testes existentes que utilizam o Bitcoin Core verificam componentes importantes, incluindo pagamentos e caminhos de tempo limite, mas “a cobertura de testes não é uma prova de segurança”.

Ainda assim, a conquista vai além do pôquer. Linus demonstrou como os recursos existentes de script e assinatura do Bitcoin podem viabilizar um jogo envolvendo informações ocultas, decisões complexas e pagamentos financeiros sem alterar as regras subjacentes da rede.

O misterioso inventor do Bitcoin deixou para trás uma mesa de pôquer com botões que não serviam para muita coisa. Dezoito anos depois, Linus desenvolveu as regras criptográficas necessárias para distribuir as cartas, jogar a mão e dividir o pote. A questão que permanece é se essa construção elaborada pode se tornar prática o suficiente para que jogadores comuns experimentem o jogo.