Aviator e o provably fair: o que um hash consegue resolver

O compromisso e a revelação, em ordem

Toda construção provably fair funciona igual por baixo, seja qual for o nome que a interface dá às peças. Antes da rodada, o servidor produz um valor secreto que determina o resultado e publica uma impressão digital dele, normalmente um hash. A impressão digital é inútil para deduzir o segredo, e esse é o objetivo, mas é impossível produzir a mesma impressão digital a partir de outro segredo depois. Ou seja, o servidor se trancou publicamente sem lhe contar nada.

Você aposta. A rodada se resolve. O servidor então revela o segredo, e você faz duas coisas com ele: gera o hash do valor revelado e compara com a impressão digital publicada antes da rodada, depois passa o valor revelado pela fórmula publicada e confere se ela produz o multiplicador que você viu. Se as duas coisas baterem, aquela rodada foi decidida de antemão e entregue sem alteração. O mesmo compromisso corta para o outro lado, e é por isso que uma cópia modificada do aplicativo num celular não ganha nada: o valor que ela teria de mudar foi publicado como impressão digital antes de alguém encostar nele.

A maioria das implementações também mistura um valor controlado pelo jogador, para que o servidor não possa ter escolhido o segredo conhecendo a sua entrada. Onde a seed do jogador pode ser trocada, trocá-la de vez em quando vale os dez segundos que leva.

O que nosso registro contém, e o que não contém

Aqui é preciso parar e ser exato, porque esta é a página em que estar aproximadamente certo é pior. Nosso registro tem uma linha sobre isso: o Aviator é provably fair, sim. Ele não contém o arranjo de seeds da Spribe, o nome da função de hash, a fórmula que transforma o valor revelado em multiplicador nem a localização da tela de verificação dentro do jogo. Esses campos não estão estabelecidos aqui, então não são afirmados aqui.

Isso significa que a sequência acima é o formato que a categoria exige, e não uma transcrição da implementação da Spribe. Onde os rótulos do próprio jogo divergirem das palavras usadas aqui, os rótulos do jogo estão certos e o nosso registro está calado.

Preferimos deixar essa lacuna à vista a descrever uma tela que não lemos. É a mesma regra que deixa o multiplicador máximo, o ganho máximo e o teto de aposta vazios na página de mecânica, porque nenhuma lista que comparamos os imprimiu.

A checagem que uma rodada honesta ainda assim não pega

Agora a aritmética útil, e é a parte que quase ninguém faz. Suponha que um operador rodasse o jogo com um retorno de 94% em vez dos 97% que toda lista imprime, mantendo intacta a maquinaria de compromisso e revelação, de modo que cada rodada individual passasse na checagem do hash sem falha. Quanto tempo até um jogador perceber?

Pegue o observável mais simples, a fatia de rodadas que alcança 2×. Na construção crash padrão essa fatia é o retorno dividido por dois, ou seja, 48,5% a 97% e 47% a 94%. A diferença que você tenta enxergar é de 1,5 ponto percentual. A incerteza de uma fatia observada ao longo de n rodadas é de mais ou menos meio dividido pela raiz quadrada de n, então, para que a diferença seja o dobro dessa incerteza, é preciso um dividido pelo quadrado de 1,5 ponto percentual, o que dá cerca de 4.445 rodadas.

Quatro mil e quinhentas rodadas, o que a vinte segundos cada dá perto de vinte e cinco horas de observação contínua, com cada uma delas verificando corretamente do começo ao fim.

Leia isso ao lado do dinheiro e o quadro fica mais nítido. Essas 4.445 rodadas a um dólar de aposta são US$ 4.445 de volume apostado, e aos 3% honestos a vantagem da casa sozinha já levou cerca de US$ 133 antes mesmo de a sua amostra ficar grande o bastante para distinguir o jogo honesto do jogo raspado. Isto não é um argumento de que operadores raspam retornos, e não temos evidência de que algum faça isso. É um argumento sobre os limites da ferramenta: o provably fair é um instrumento por rodada, verificar mil rodadas é verificar mil rodadas e não uma taxa, e o agregado com que o jogador de fato se importa se esconde confortavelmente dentro da variação comum por muito mais tempo do que qualquer jogador vai ficar sentado. O número de retorno publicado é um consenso de mercado não verificado, e o hash não o verifica.

Uma rodada verificada e um saldo não pago

O segundo limite é mais bruto que o primeiro. Um hash prova o que o jogo fez. Não prova absolutamente nada sobre o que o cassino vai fazer.

Um operador pode rodar um jogo genuinamente provably fair, deixar você verificar cada rodada e depois recusar o saque com base numa cláusula enterrada nas condições do bônus, ou pedir no caixa documentos que ninguém mencionou no depósito, ou levar seis semanas em um pagamento que anunciou como instantâneo. Nada disso toca a criptografia, e a criptografia não opina sobre nada disso. Honestidade da rodada e pagamento do saldo são duas perguntas separadas, com evidências separadas, e elas falham de forma independente.

Um selo provably fair é, portanto, um piso e não uma recomendação: remove uma forma específica de ser passado para trás, o que vale ter, e deixa intocadas as formas comercialmente importantes.

O que fazer com uma rodada que não verifica

Se uma verificação falha, o primeiro suspeito é o procedimento e não o operador. Seeds são copiadas com espaço sobrando, a rodada errada é escolhida no histórico, uma seed é trocada entre a rodada e a conferência. Repita em mais duas ou três rodadas antes de concluir qualquer coisa.

Se várias rodadas falharem de forma limpa, o achado merece ser anotado com os identificadores das rodadas, as impressões digitais publicadas e os valores revelados, porque esse registro é a única coisa que sobrevive a uma conversa com o suporte. Guarde antes de reclamar, não depois.

E mantenha à vista o alcance da vitória. Uma verificação bem-sucedida diz que uma rodada foi honesta. Não diz que o jogo foi generoso, que o retorno corresponde ao número anunciado, nem que o dinheiro vai chegar. Quem lhe vende um sistema alegando ter quebrado a sequência é contrariado pelo próprio compromisso, que é justamente o argumento que a página do preditor desenvolve com mais vagar.