fairnessprovably fairexplainer
인증된 난수 생성기란 독립 시험소가 어느 시점에 난수 생성기를 검사해 그 출력이 통계적으로 건전하다고 판단했다는 뜻입니다. 증명 가능한 공정성이란 게임이 플레이어 각자에게 자기 대국의 암호학적 영수증을 건네어, 누구도 믿지 않고 모든 굴림을 다시 확인할 수 있다는 뜻입니다. 한쪽 모형은 기계를 감사합니다. 다른 쪽은 당신의 대국을 증명합니다.
두 표현 모두 당신 대신 주사위를 굴리는 온라인 게임의 신뢰 페이지에 등장하고, 서로 바꿔 써도 될 것처럼 들립니다. 그렇지 않습니다. 서로 다른 질문에 답하고, 서로 다른 방식으로 무너지며, 그 차이가 당신이 앉을 때 무엇을 믿으라고 요구받는지를 결정합니다.
인증된 난수는 실제로 무엇을 인증하는가
인증 시험소는 생성기를 가져다 그 출력을 통계 검정 묶음에 통과시키며 편향을 사냥합니다. 너무 자주 오는 숫자, 반복되는 무늬, 표류하는 수열. 수백만 개의 표본이 우연과 구별되지 않으면 시험소는 인증서에 서명합니다. 그 작업은 실제이고 기술을 요합니다. 그 생성기가, 시험된 그 형태로, 그날 건전한 무작위성을 만들어냈음을 확립합니다.
인증서가 볼 수 없는 것에 주목하십시오. 그것은 시험소에서 발급되었고, 당신의 주사위는 서버에서 굴려집니다.
- 시험된 코드가 여러 달과 여러 번의 갱신을 지난 지금 배포된 코드와 같은지.
- 생성기와 당신의 대국 사이의 배선. 날것의 난수를 당신의 6과 4로 바꾸는 코드.
- 어떤 대국의 어떤 개별 굴림이든. 인증은 생성기 일반에 대해 말할 뿐, 화요일 밤 당신의 대국에 대해서는 결코 말하지 않습니다.
그래서 인증에는 조용한 두 번째 조항이 붙습니다. 시험 이후 아무것도 바뀌지 않았다고 믿을 것, 그리고 인증된 경로가 당신의 대국이 실제로 지나간 경로라고 믿을 것. 대부분의 스튜디오는 그것을 지킵니다. 문제는 당신이 확인할 수 없다는 점입니다. 이 모형은 한 순간의 기계 점검과, 그 이후 모든 순간에 대한 믿음으로 이루어집니다.
증명 가능한 공정성이란 무엇인가
증명 가능한 공정성은 다른 거래입니다. 당신이 본 적 없는 감사를 가리키는 대신, 게임이 시작 전에 자신의 무작위성에 커밋하고, 그 뒤 당신이 스스로 모든 굴림을 다시 계산할 수 있을 만큼 공개합니다. 증명이 대국과 함께 여행합니다. 실제로는 봉인된 봉투처럼 작동합니다.
커밋. 첫 수 이전에 서버가 비밀 시드를 만들고 그 SHA-256 지문을 공개합니다. 지문은 앞으로의 굴림에 대해 아무것도 드러내지 않지만 시드를 제자리에 못 박습니다. 나중에 시드의 비트 하나만 바꿔도 지문은 더 이상 맞지 않습니다.
굴림. 판이 진행되는 동안 각 굴림은 HMAC-SHA256으로 시드에서 유도되며, 굴림마다 한 번의 계산입니다. 주사위는 봉투를 봉한 그 순간에 정해졌습니다. 더 친절한 숫자를 판 중간에 끼워 넣으려면 이미 공개된 커밋먼트를 깨야 합니다.
공개. 판이 끝나면 시드가 공개됩니다. 누구나 그것을 해시해 커밋먼트와 비교하고, 모든 굴림을 다시 계산해 판에 나타난 주사위와 나란히 놓을 수 있습니다. 전부 들어맞으면 그 판은 조종될 수 없었습니다. 무언가 손댔다면 수학이 그렇게 말합니다.
신뢰가 회사에서 산술로 옮겨갑니다. 감사가 철저했다고 믿을 필요도, 배포가 충실했다고 믿을 필요도 없습니다. 필요한 것은 SHA-256이 버티는 것뿐이며, 그것은 인터넷의 나머지 전부가 매일 기대고 있는 것과 같은 가정입니다.
인증서는 우리가 들여다본 날 동전이 공정했다고 말한다. 영수증은 당신의 던짐이 공정했다고 말하고, 계산을 보여준다.
그러면 인증은 이제 의미가 없나
있습니다. 커밋 방식은 커밋된 그대로의 무작위성을 당신이 받았음을 증명합니다. 커밋된 것이 애초에 좋았음을 증명하지는 않습니다. 약하거나 예측 가능한 시드 원천도 완벽하게 검증을 통과하는 영수증을 만들어냅니다. 나쁜 주사위의 증명 가능한 배달입니다. 원천의 품질을 판단하는 일이야말로 감사와 통계 검정의 몫이며, 규제 산업에서 인증서는 그저 필수입니다.
두 모형은 서로 다른 질문에 답합니다. 감사는 묻습니다. 그 무작위성은 좋은가. 영수증은 묻습니다. 내 대국이 실제로 그것을 썼는가. 앞의 것만 있는 시스템은 배포에 대한 영구적 믿음 위에서 돌아갑니다. 뒤의 것만 있는 시스템은 나쁜 주사위를 충실히 배달하고 그것을 증명할 수 있습니다. 가장 튼튼한 시스템은 두 문을 모두 닫습니다.
공개 검증 페이지가 왜 중요한가
아무도 읽을 수 없는 영수증은 누구도 지켜주지 못하기 때문입니다. 어떤 게임은 커밋먼트를 공개하면서도 플레이어에게 확인할 실질적 방법을 주지 않거나, 검증을 문제의 그 앱 안에 넣어둡니다. 그래서는 어떤 고리도 닫히지 않습니다. 어떤 시스템을 보증할 수 있는 유일한 도구가 그 시스템의 것이라면, 당신은 다시 믿음으로 돌아온 것입니다. 단계만 늘어난 채로.
가장 튼튼한 구성은 세 가지를 공개합니다. 판 이전의 커밋먼트. 판 이후의 시드. 그리고 앱 바깥에서 도는, 독립적이고 공개된 굴림 재계산 수단. Orion의 검증 페이지가 브라우저 안, orion.arthea.ai/verify에 사는 이유입니다. 계정도 설치도 없고, 우리의 말은 검사에 들어가지 않습니다.