본문으로 건너뛰기
RandNext
Esc

추첨 검증

공개 시드와 잠긴 참가 목록으로 당첨자를 다시 계산합니다. 모든 검사를 통과하면 잠긴 뒤 목록이나 결과가 바뀌지 않았음을 확인할 수 있습니다.

검증기 불러오는 중…

검증기가 확인하는 항목

공개 알고리즘은 목록, 시드, 비콘, 당첨자의 검사 방식을 정하며 각 기록에 사용 버전이 표시됩니다.

  1. 목록을 정규화하고 순서를 고정합니다.
  2. 목록의 SHA-256 지문을 계산해 잠긴 기록과 비교합니다.
  3. 공개 시드가 커밋 값과 일치하는지 확인합니다.
  4. 알고리즘, 시드, 지문, 매개변수로 최종 시드를 다시 계산합니다.
  5. HMAC-SHA256과 거부 샘플링으로 편향 없는 난수를 만듭니다.
  6. 부분 Fisher–Yates 셔플로 순위별 당첨자를 선택합니다.

v2 기록 추가 검사

  • 목록의 SHA-256 지문을 계산해 잠긴 기록과 비교합니다.
  • 공개 시드가 커밋 값과 일치하는지 확인합니다.
  • 알고리즘, 시드, 지문, 매개변수로 최종 시드를 다시 계산합니다.

v3 상품 추첨 추가 검사

  • 공개 시드가 커밋 값과 일치하는지 확인합니다.
  • 알고리즘, 시드, 지문, 매개변수로 최종 시드를 다시 계산합니다.
  • HMAC-SHA256과 거부 샘플링으로 편향 없는 난수를 만듭니다.
  • 부분 Fisher–Yates 셔플로 순위별 당첨자를 선택합니다.

검증 통과는 공개 당첨자가 잠긴 목록, 커밋된 시드, 공개 무작위 비콘에서 계산되었음을 증명합니다. 주최자가 여러 추첨을 만들지 않았다는 것은 증명하지 못하므로 사전 공유 여부도 확인하세요.

전체 사양, 신뢰 모델 및 Python 참조 스크립트 →