Aviator 라운드가 공정했는지 단계별로 검증하는 방법

대부분의 크래시 게임은 단순한 프로바블리 페어 모델을 쓴다. 서버 시드 하나, 클라이언트 시드 하나, SHA-256, 끝이다. Aviator는 그런 대부분의 크래시 게임이 아니다. 구조가 특이해서 일반적인 크래시 게임처럼 검증하려 들면 엉뚱한 결과가 나오고 게임이 속였다고 오해하게 된다. 라운드를 직접 확인하고 그 검증이 무엇을 증명하며 무엇을 증명하지 못하는지 정확히 이해할 수 있도록 Aviator의 실제 시스템을 하나씩 짚어 본다.

Aviator의 공정성 모델이 작동하는 방식

Aviator는 각 라운드의 크래시 배수를 서버 측 시드 하나와 클라이언트 시드 세 개의 조합에서 생성한다. 그 세 개의 클라이언트 시드는 본인의 것이 아니다. 해당 라운드에서 가장 먼저 베팅한 세 명의 플레이어에게서 나온다. 게임은 결합된 입력값을 SHA-512로 해시하며, 단일 시드 크래시 게임이 쓰는 SHA-256을 쓰지 않는다.

이 설계에는 좋은 특성이 하나 있다. 어느 한쪽도 단독으로 결과를 통제하지 못한다는 점이다. 서버는 어떤 세 명이 먼저 베팅할지, 그들의 시드가 무엇일지 미리 알 수 없으므로 혼자서 결과를 정할 수 없다. 플레이어도 조작할 수 없다. 서버 시드는 누구도 베팅하기 전에 이미 확정되기 때문이다. 결과는 네 개의 입력값을 모두 섞은 데서 나온다.

검증하는 입장에서 걸림돌은 필요한 조각들을 올바른 순서로 모아야 한다는 점, 그리고 그중 하나인 서버 시드는 라운드가 끝난 뒤에야 공개된다는 점이다.

1단계: 베팅하기 전에 해시를 확보한다

라운드가 시작되기 전에 Aviator는 해시된 서버 시드를 공개하며, 곧 사용될 서버 시드의 SHA-512 해시로 표시되기도 한다. 이것이 기준점이다. 라운드가 진행되기 전에 복사해서 어딘가에 저장해 둔다.

이것이 중요한 이유는 공개된 해시가 곧 약속이기 때문이다. 일단 공개되면 서버는 다른 해시를 만들지 않고서는 서버 시드를 바꿀 수 없고, 원본 해시는 이미 손안에 있다. 나중에 공개된 시드를 해시했을 때 이 값이 나오지 않으면 그 라운드는 조작된 것이다. 해시를 먼저 확보하는 것이 검증 전체의 토대다. 이를 건너뛰면 그냥 운영사를 믿는 것에 불과하다.

2단계: 라운드를 지켜보며 배수를 기록한다

라운드를 지켜본다. 예를 들어 2.47x처럼 실제로 나온 크래시 배수를 정확히 적어 둔다. 이 숫자가 시드들이 수학적으로 만들어 내는 값과 같은지 확인할 것이므로 정확하게 기록해야 한다.

3단계: 공개된 시드와 논스를 수집한다

라운드가 끝나면 Aviator의 공정성 패널에서 필요한 조각들이 공개된다.

• 서버 시드. 이제 해시되지 않은 원본 값이며, 1단계의 약속 값으로 다시 해시되어야 하는 값이다.
• 해당 라운드에서 가장 먼저 베팅한 세 명의 클라이언트 시드.
• 구현 방식에서 사용한다면 라운드 식별자 또는 논스.

이 값들은 게임의 프로바블리 페어 메뉴나 라운드 기록 메뉴에서 찾을 수 있다. 라운드마다 자체 세트가 저장된다. 배수를 기록한 바로 그 라운드의 시드를 가져오고 있는지, 앞이나 뒤 라운드가 아닌지 확인해야 한다.

4단계: 서버 시드가 약속 값과 일치하는지 확인한다

다른 무엇보다 먼저 공개된 서버 시드를 SHA-512로 해시해 1단계에서 확보한 해시와 비교한다. 무료 SHA-512 도구가 온라인에 있고, 로컬에서 직접 실행해도 된다. 두 해시가 일치하면 서버는 약속한 시드를 그대로 사용한 것이다. 일치하지 않으면 거기서 멈춘다. 그 라운드는 공정하지 않으며, 더 계산할 필요도 없다.

이 한 번의 비교가 가장 중요한 검증이다. 서버가 베팅 내역을 본 뒤 시드를 바꿔치기하지 않았음을 증명한다.

5단계: 값을 이어 붙이고 해시해 결과를 도출한다

이제 배수를 재현한다. 게임이 지정한 정확한 순서와 형식으로 입력값을 결합하는데, 보통 서버 시드 뒤에 클라이언트 시드 세 개(그리고 사용한다면 논스)를 붙여 하나의 문자열로 이어 붙인다. 그 결합된 문자열을 SHA-512로 해시한다.

그다음 게임은 그 해시의 일부, 보통 앞쪽 몇 개의 16진수 문자를 숫자로 변환하고 공개된 공식을 적용해 크래시 배수로 만든다. 정확한 공식과 문자 개수는 게임의 공정성 섹션에 문서화되어 있다. 그대로 정확히 따라야 한다. 변환을 실행하면 나오는 숫자는 2단계에서 기록한 배수와 같아야 한다.

일치한다면 그 라운드는 프로바블리 페어였다. 결과가 알려지기 전에 확정된 시드로 결과가 고정됐고, 누구도 조작하지 않았다는 뜻이다. 형식을 정확히 따랐는데도 일치하지 않는다면, 그것은 문제를 제기할 만한 진짜 위험 신호다.

이 검증이 실제로 증명하는 것(그리고 결코 할 수 없는 것)

사람들이 오해하는 부분이 바로 여기이고, 이는 중요한 지점이다. 검증은 지나간 라운드가 공정했음을 증명한다. 결과가 확정된 시드로 고정됐고 사후에 변경되지 않았음을 확인해 준다. 이는 분명히 가치 있는 일이고, 프로바블리 페어가 존재하는 이유 그 자체다.

반대로 결코 할 수 없는 일은 다음 라운드를 예측하는 것이다. 각 라운드는 새로운 서버 시드와, 먼저 베팅한 사람이 누구든 그들에게서 나온 새로운 클라이언트 시드를 사용한다. 이어지는 값도, 패턴도, 과거 배수로 다음 배수를 계산할 방법도 없다. 프로바블리 페어 데이터를 근거로 Aviator 예측기나 시그널을 파는 사람은 예외 없이 사기다. 라운드를 사후에 검증 가능하게 만드는 수학이 곧 사전에 예측 불가능하게 만드는 수학이다.

그러니 정직성을 확인하기 위해 검증한다. 예측을 바라며 검증하는 일은 없어야 한다. 그리고 검증 결과가 무엇이든 Aviator에는 여전히 약 3퍼센트의 하우스 엣지가 있으므로, 엔터테인먼트로 예산을 잡고 만 18세 이상만 플레이하며 손실을 만회하려 쫓지 않아야 한다.