Kontrakt: jak i dlaczego to działa

Smart kontrakt to program wykonywany przez węzły sieci Solana, a nie na serwerze projektu. Jego kod jest taki sam dla wszystkich, a każde działanie to publiczna transakcja. Kontrakt FAIRDRUM jest napisany w Rust z biblioteką Anchor; jego kod źródłowy jest otwarty.

Adres programu pojawi się tutaj, gdy strona zostanie podłączona do kontraktu.

Ważny wniosek: jeśli strona fairdrum.to zniknie, środki graczy zostaną w kontrakcie i będzie można je wypłacić dowolnym programem, który potrafi wysłać polecenie wypłaty z podpisem twojego portfela.

• Skarbiec. Jedno konto w opakowanym SOL, którym dysponuje wyłącznie sam program. Leży w nim wszystko: salda graczy, bank nagród, jackpoty, rezerwa i jeszcze nieodebrany udział administratora.
• Wspólne konto gry. Zapis tego, jak podzielona jest kwota w skarbcu: bank nagród, jackpot, mini-jackpot, superjackpot, rezerwa na kwoty startowe, udział administratora, kwoty startowe jackpotów, liczniki rund w poszczególnych grach.
• Konto gracza. Tworzy je polecenie register, które strona wysyła razem z pierwszą wpłatą; jest powiązane z adresem portfela: saldo gry, czas ostatniej wpłaty, niedokończona runda, niewypłacona część jackpota.
• Konto sesji (jeśli włączono „grę bez podpisów”): tymczasowy klucz, termin i limit stawek.

Księgowanie jest zbudowane tak, że suma wszystkich sald i pul równa się kwocie w skarbcu. Test sprawdza tę równość po każdej z dziesiątek tysięcy losowych operacji.

1. Stawka. Polecenie spin_commit pobiera rundę z twojego salda i w tej samej transakcji tworzy u wyroczni ORAO zapytanie o liczbę losową. Adres zapytania jest wyliczany z twojego portfela i numeru rundy, dlatego nie da się podstawić cudzego zapytania.
2. Liczba. Kilka niezależnych węzłów ORAO podpisuje liczbę losową i zapisuje ją w sieci. Do chwili tego zapisu nie zna jej nikt: ani ty, ani projekt, ani pojedynczy węzeł.
3. Rozliczenie. Polecenie spin_settle odczytuje liczbę z zapisu wyroczni, sprawdza, czy to zapytanie właśnie twojej rundy, i oblicza wypłatę. Strona wysyła je sama; jeśli strona jest zamknięta, zrobi to program dyżurny projektu albo ty przy następnej wizycie.
4. Prezentacja. Karty, miny, rakieta, kamienie to sposób pokazania już obliczonej wypłaty. Kliknięcia w grze na nią nie wpływają.

Dlaczego wyniku nie da się poznać z góry ani sfałszować. Ostateczna liczba rundy to liczba wyroczni zmieszana z hashem bloku, w którym zapisano stawkę. W chwili stawki ten hash jeszcze nie istnieje, a liczba wyroczni przychodzi później i od strony trzeciej: wyniku nie może z góry obliczyć nikt — ani gracz, ani projekt, ani sama wyrocznia. Gra, kwoty startowe jackpotów i limit nagrody są zapisywane w chwili stawki, a wzór rozliczenia jest w otwartym kodzie. Spóźnione rozliczenie nigdy nie jest korzystniejsze od terminowego. Zasady można zmienić tylko przez wymianę kodu programu, a to widzą wszyscy (zob. część o administratorze).

Runda to od 1 do 100 stawek po 0,01 SOL (na bębnie do 1000). Liczba wyroczni jest rozwijana w niezależną wartość losową dla każdej stawki i dla każdej z nich kontrakt po kolei odpowiada na pytania:

1. Superjackpot, jackpot, mini-jackpot? Szansa każdej puli równa się wkładowi stawki do niej podzielonemu przez kwotę startową puli. Pula jest losowana tylko wtedy, gdy jest w niej co najmniej 25% kwoty startowej.
2. Nagroda gry? Każda gra ma własną szansę na nagrodę i własną tabelę sześciu stopni z wagami. Na przykład na bębnie nagroda wypada w 10% stawek. Tabele wszystkich gier są pokazane na ich stronach.
3. „Jeszcze raz”? Z szansą 11,6% stawka jest powtarzana bezpłatnie na koszt banku nagród.
4. W przeciwnym razie stawka jest bez nagrody. Dzieli się ją tak samo jak każdą inną: bank nagród, jackpoty i udział administratora.

Tabele gier są różne, a oczekiwana wypłata jest w nich taka sama (z dokładnością do setnych części procenta; przy banku nagród od 40 SOL, gdy nagrody nie dochodzą do limitu): około 77,5% stawki w zwykłych nagrodach, a razem z powtórkami „Jeszcze raz” — około 88% opłaconych stawek. Równość sprawdza kompilator: jeśli w którejś grze wartość oczekiwana okaże się wyższa niż na bębnie albo niższa o więcej niż pół procenta, program się nie zbuduje.

• Jedna nagroda — nie więcej niż ćwierć banku nagród. Kontrakt nie może obiecać więcej, niż ma, a jedna duża wygrana nie opróżnia banku dla pozostałych. Niedopłacona kwota zostaje w banku.
• Wypłata po 12 godz. od ostatniej wpłaty. Reguła jest jednakowa dla wszystkich i zapisana jako stała: zmienić ją można tylko nową wersją programu.
• Kwoty startowe jackpotów zmieniają się z opóźnieniem 24 godz. Szanse rundy są ustalane w chwili stawki, dlatego nie da się ich zmienić „pod już postawioną stawkę”.
• 20 minut na rozliczenie. Jeśli wyrocznia nie odpowiedziała, stawka wraca do gracza w całości: dopóki nie ma liczby, nikt nie zna wyniku, więc nie da się w ten sposób uchylić od przegranej. Jeśli odpowiedziała, ale rozliczenie się spóźniło, zwykłe nagrody są wypłacane, a jackpoty nie są w tej rundzie losowane. Ochrona skarbca. Przed każdą wypłatą i po każdym rozliczeniu kontrakt sprawdza, czy w skarbcu jest nie mniej, niż jest winien graczom i pulom; w przeciwnym razie operacja zostaje odrzucona. Strażnik. Jeśli wyrocznia przestała odpowiadać, przyjmowanie nowych stawek zostaje automatycznie wstrzymane; rozliczenia i wypłata środków działają dalej.
• Jackpot jest wypłacany w ratach: zwycięzcy należy się 95% puli, z tego 20% od razu i po 8% tygodniowo. Niewypłacona część jest zapisana na koncie zwycięzcy.
• Jedna niedokończona runda na gracza. Dopóki runda nie jest rozliczona, nowa stawka nie jest przyjmowana.

• Testy kontraktu: udział administratora 10% w każdej grze, zbliżony zwrot wszystkich gier przy banku 50 SOL, reguła ćwierci banku i limit nagrody z chwili stawki, blokada wypłaty, odroczona zmiana kwot startowych, późne rozliczenie nie jest korzystniejsze od terminowego.
• Sprawdzenie zachowania środków: dziesiątki tysięcy losowych operacji, po każdej kwota w skarbcu jest porównywana z sumą sald i pul.
• Długie przebiegi: po dwa miliony stawek na każdą grę — ile wypłacono graczom, ile otrzymał administrator.
• Prawdziwe transakcje na lokalnym węźle Solana: wpłata, odmowa wypłaty przed terminem, wniesienie do rezerwy, zmiana kwot startowych.
• Testy strony: strona liczy szanse tymi samymi wzorami co kontrakt i porównuje wyniki z wzorcami zapisanymi przez kontrakt.

Co nie zostało sprawdzone ani zrobione, wymieniono bez upiększeń na stronie „Dlaczego FAIRDRUM”. Jak samodzielnie sprawdzić dowolną rundę — na stronie „Sprawdź rundę”.