컨트랙트: 어떻게, 왜 이렇게 작동하는가

스마트 컨트랙트는 프로젝트의 서버가 아니라 Solana 네트워크의 노드들이 실행하는 프로그램입니다. 코드는 모두에게 같고, 모든 동작은 공개 트랜잭션입니다. FAIRDRUM 컨트랙트는 Rust와 Anchor 라이브러리로 작성되었으며 소스 코드는 공개되어 있습니다.

사이트가 컨트랙트에 연결되면 프로그램 주소가 여기에 표시됩니다.

중요한 귀결: fairdrum.to 사이트가 사라지더라도 플레이어의 자금은 컨트랙트에 남으며, 내 지갑의 서명과 함께 출금 명령을 보낼 수 있는 프로그램이라면 무엇으로든 출금할 수 있습니다.

• 금고. 래핑된 SOL로 된 계정 하나이며, 프로그램 자신만 처분할 수 있습니다. 플레이어 잔액, 상금 뱅크, 잭팟, 예비금, 관리자가 아직 가져가지 않은 몫까지 모든 것이 여기에 있습니다.
• 게임 공통 계정. 금고의 금액이 어떻게 나뉘어 있는지에 대한 기록입니다. 상금 뱅크, 잭팟, 미니 잭팟, 슈퍼 잭팟, 시드 예비금, 관리자 몫, 잭팟 시작 금액, 게임별 라운드 카운터.
• 플레이어 계정. register 명령으로 만들어지며, 사이트가 이 명령을 첫 충전과 함께 보냅니다. 지갑 주소에 연결되어 있습니다. 게임 잔액, 마지막 충전 시각, 완료되지 않은 라운드, 잭팟의 미지급분.
• 세션 계정(«서명 없는 플레이»를 켠 경우): 임시 키, 기한, 베팅 한도.

회계는 모든 잔액과 저금통의 합이 금고의 금액과 같도록 짜여 있습니다. 테스트는 수만 번의 무작위 작업 하나하나가 끝날 때마다 이 등식을 검사합니다.

1. 베팅. spin_commit 명령이 내 잔액에서 라운드 금액을 차감하고, 같은 트랜잭션 안에서 ORAO 오라클에 난수 요청을 만듭니다. 요청 주소는 내 지갑과 라운드 번호로 계산되므로 다른 사람의 요청으로 바꿔치기할 수 없습니다.
2. 숫자. ORAO의 여러 독립 노드가 난수에 서명하고 네트워크에 기록합니다. 기록되기 전에는 나도, 프로젝트도, 개별 노드도, 아무도 그 숫자를 알지 못합니다.
3. 정산. spin_settle 명령이 오라클의 기록에서 숫자를 읽고, 그것이 바로 내 라운드의 요청인지 확인한 뒤 지급액을 계산합니다. 이 명령은 사이트가 직접 보냅니다. 페이지가 닫혀 있으면 프로젝트의 당직 프로그램이 보내거나, 다음에 접속했을 때 내가 보냅니다.
4. 표시. 카드, 지뢰, 로켓, 보석은 이미 계산된 지급액을 보여 주는 방식입니다. 게임에서 무엇을 누르든 지급액에는 영향을 주지 않습니다.

결과를 미리 알 수도 조작할 수도 없는 이유. 라운드의 최종 숫자는 오라클의 숫자에 베팅이 기록된 블록의 해시를 섞은 것입니다. 베팅 시점에는 이 해시가 아직 존재하지 않고, 오라클의 숫자는 그 뒤에 제3자에게서 옵니다. 따라서 결과는 누구도 미리 계산할 수 없습니다. 플레이어도, 프로젝트도, 오라클 자신도 할 수 없습니다. 게임, 잭팟 시작 금액, 상금 상한은 베팅 시점에 기록되고, 계산 공식은 공개된 코드에 있습니다. 늦은 정산이 제때 한 정산보다 유리한 경우는 결코 없습니다. 규칙은 프로그램 코드를 교체해야만 바꿀 수 있으며, 이는 모두에게 보입니다(관리자에 관한 절 참조).

라운드는 0.01 SOL 베팅 1~100개입니다(휠에서는 최대 1000개). 오라클의 숫자는 베팅마다 독립적인 무작위 값으로 펼쳐지며, 컨트랙트는 베팅 하나하나에 대해 다음 질문에 차례로 답합니다.

1. 슈퍼 잭팟, 잭팟, 미니 잭팟인가? 각 저금통의 확률은 베팅이 그 저금통에 넣는 금액을 저금통의 시작 금액으로 나눈 값과 같습니다. 저금통은 그 안에 시작 금액의 25% 이상이 있을 때만 추첨됩니다.
2. 게임 상금인가? 게임마다 고유한 상금 확률과 가중치가 붙은 여섯 단계의 표가 있습니다. 예를 들어 휠에서는 베팅의 10%에서 상금이 나옵니다. 모든 게임의 표는 각 게임 페이지에 표시됩니다.
3. «한 번 더»인가? 11.6%의 확률로 상금 뱅크의 부담으로 베팅이 무료로 반복됩니다.
4. 그렇지 않으면 상금 없는 베팅입니다. 이 베팅도 다른 베팅과 똑같이 상금 뱅크, 잭팟, 관리자 몫으로 나뉩니다.

게임마다 표는 다르지만, 표에 따른 기대 지급액은 같습니다(백분의 몇 퍼센트 이내의 정확도로. 상금 뱅크가 40 SOL 이상이어서 상금이 상한에 걸리지 않을 때). 일반 상금으로 베팅의 약 77.5%, «한 번 더» 반복을 합치면 유료 베팅의 약 88%입니다. 이 동등성은 컴파일러가 검사합니다. 어떤 게임의 기댓값이 휠보다 높거나 0.5퍼센트 넘게 낮으면 프로그램이 빌드되지 않습니다.

• 상금 하나는 상금 뱅크의 4분의 1 이하. 컨트랙트는 가진 것보다 많이 약속할 수 없고, 큰 당첨 하나가 다른 플레이어 몫의 뱅크를 비우지도 않습니다. 덜 지급된 금액은 뱅크에 남습니다.
• 출금은 마지막 충전 후 12시간 뒤. 이 규칙은 모두에게 같고 상수로 기록되어 있습니다. 프로그램의 새 버전으로만 바꿀 수 있습니다.
• 잭팟 시작 금액은 24시간의 지연을 두고 바뀝니다. 라운드의 확률은 베팅 시점에 고정되므로 «이미 한 베팅에 맞춰» 바꿀 수 없습니다.
• 정산 기한 20분. 오라클이 응답하지 않았다면 베팅은 플레이어에게 전액 반환됩니다. 숫자가 나오기 전에는 누구도 결과를 알 수 없으므로, 이 방법으로 진 베팅을 무를 수는 없습니다. 오라클이 응답했지만 정산이 늦었다면 일반 상금은 지급되고, 이 라운드에서 잭팟 추첨은 진행되지 않습니다. 금고 보호. 컨트랙트는 매번 지급 전과 정산 후에 금고의 금액이 플레이어와 저금통에 지급해야 할 금액보다 적지 않은지 확인하며, 그렇지 않으면 작업을 거부합니다. 가디언. 오라클이 응답을 멈추면 새 베팅 접수가 자동으로 일시 중지됩니다. 정산과 출금은 계속 작동합니다.
• 잭팟은 나누어 지급됩니다. 당첨자의 몫은 저금통의 95%이며, 그중 20%는 즉시, 이후 매주 8%씩입니다. 미지급분은 당첨자의 계정에 기록됩니다.
• 플레이어당 완료되지 않은 라운드는 하나. 라운드가 정산되기 전에는 새 베팅을 받지 않습니다.

• 컨트랙트 테스트: 모든 게임에서 관리자 몫 10%, 뱅크가 50 SOL일 때 모든 게임의 환수율이 비슷함, 뱅크 4분의 1 규칙과 베팅 시점의 상금 상한, 출금 잠금, 시작 금액의 지연 변경, 늦은 정산이 제때 한 정산보다 유리하지 않음.
• 자금 보존 검사: 수만 번의 무작위 작업을 실행하고, 매번 금고의 금액을 잔액과 저금통의 합과 대조합니다.
• 장기 실행: 게임마다 베팅 200만 번씩, 플레이어에게 얼마가 지급되었고 관리자가 얼마를 받았는지 확인합니다.
• 로컬 Solana 노드에서의 실제 트랜잭션: 충전, 기한 전 출금 거부, 예비금 납입, 시작 금액 변경.
• 사이트 테스트: 사이트는 컨트랙트와 같은 공식으로 확률을 계산하고, 컨트랙트가 기록한 샘플과 대조합니다.

검증되지 않은 것과 하지 않은 것은 «왜 FAIRDRUM인가» 페이지에 꾸밈없이 나열되어 있습니다. 어떤 라운드든 직접 검증하는 방법은 «라운드 검증» 페이지에 있습니다.