Kontrak: cara kerjanya dan alasannya

Kontrak pintar adalah program yang dijalankan oleh node jaringan Solana, bukan di server proyek. Kodenya sama untuk semua orang, dan setiap tindakan adalah transaksi publik. Kontrak FAIRDRUM ditulis dalam Rust dengan pustaka Anchor; kode sumbernya terbuka.

Alamat program akan muncul di sini setelah situs terhubung ke kontrak.

Konsekuensi penting: jika situs fairdrum.to hilang, dana pemain tetap berada di kontrak dan dapat ditarik dengan program apa pun yang mampu mengirim perintah penarikan dengan tanda tangan dompet Anda.

• Brankas. Satu akun berisi wrapped SOL yang hanya dikuasai oleh program itu sendiri. Semuanya ada di sana: saldo pemain, bank hadiah, jackpot, cadangan, dan bagian administrator yang belum diambil.
• Akun bersama permainan. Catatan tentang bagaimana jumlah di brankas dibagi: bank hadiah, jackpot, mini jackpot, super jackpot, cadangan jumlah awal, bagian administrator, jumlah awal jackpot, penghitung ronde per permainan.
• Akun pemain. Dibuat dengan perintah register, yang dikirim situs bersama setoran pertama, dan terikat pada alamat dompet: saldo permainan, waktu setoran terakhir, ronde yang belum selesai, bagian jackpot yang belum dibayarkan.
• Akun sesi (jika “permainan tanpa tanda tangan” diaktifkan): kunci sementara, masa berlaku, dan batas taruhan.

Pembukuan disusun sedemikian rupa sehingga jumlah semua saldo dan pot sama dengan jumlah di brankas. Sebuah pengujian memeriksa kesamaan ini setelah setiap operasi dari puluhan ribu operasi acak.

1. Taruhan. Perintah spin_commit memotong ronde dari saldo Anda dan, dalam transaksi yang sama, membuat permintaan angka acak pada oracle ORAO. Alamat permintaan dihitung dari dompet Anda dan nomor ronde, sehingga permintaan milik orang lain tidak bisa diselipkan.
2. Angka. Beberapa node ORAO yang independen menandatangani angka acak dan menuliskannya ke jaringan. Sebelum pencatatan itu tidak ada yang mengetahuinya: baik Anda, proyek, maupun satu node tersendiri.
3. Penyelesaian. Perintah spin_settle membaca angka dari catatan oracle, memeriksa bahwa itu memang permintaan untuk ronde Anda, lalu menghitung pembayaran. Situs mengirimkannya sendiri; jika halaman ditutup, hal itu dilakukan program penjaga proyek atau Anda sendiri pada kunjungan berikutnya.
4. Tampilan. Kartu, ranjau, roket, batu adalah cara menampilkan pembayaran yang sudah dihitung. Klik di dalam permainan tidak memengaruhinya.

Mengapa hasil tidak bisa diketahui lebih dulu dan tidak bisa dipalsukan. Angka akhir ronde adalah angka oracle yang dicampur dengan hash blok tempat taruhan dicatat. Pada saat taruhan, hash ini belum ada, sedangkan angka oracle datang belakangan dan dari pihak ketiga: tidak seorang pun bisa menghitung hasilnya lebih dulu — baik pemain, proyek, maupun oracle itu sendiri. Permainan, jumlah awal jackpot, dan batas atas hadiah dicatat pada saat taruhan; rumus perhitungannya ada di kode terbuka. Penyelesaian yang terlambat tidak pernah lebih menguntungkan daripada yang tepat waktu. Aturan hanya bisa diubah dengan mengganti kode program, dan itu terlihat oleh semua orang (lihat bagian tentang administrator).

Satu ronde terdiri dari 1 sampai 100 taruhan masing-masing 0,01 SOL (di roda sampai 1000). Angka oracle diuraikan menjadi nilai acak independen untuk setiap taruhan, dan untuk setiap taruhan kontrak menjawab pertanyaan berikut secara berurutan:

1. Super jackpot, jackpot, mini jackpot? Peluang setiap pot sama dengan kontribusi taruhan ke pot itu dibagi jumlah awal pot. Pot hanya diundi jika isinya sedikitnya 25% dari jumlah awal.
2. Hadiah permainan? Setiap permainan punya peluang hadiah sendiri dan tabel sendiri yang terdiri dari enam tingkat berbobot. Misalnya, di roda hadiah keluar pada 10% taruhan. Tabel semua permainan ditampilkan di halamannya masing-masing.
3. “Spin lagi”? Dengan peluang 11,6%, taruhan diulang gratis atas biaya bank hadiah.
4. Jika tidak, taruhan itu tanpa hadiah. Taruhan tersebut dibagi sama seperti taruhan lainnya: bank hadiah, jackpot, dan bagian administrator.

Tabel tiap permainan berbeda, tetapi pembayaran yang diharapkan sama (dengan ketelitian sampai seperseratus persen; pada bank hadiah mulai 40 SOL, ketika hadiah tidak terbentur batas atas): sekitar 77,5% taruhan berupa hadiah biasa, dan bersama pengulangan “Spin lagi” sekitar 88% dari taruhan berbayar. Kesamaan ini diperiksa oleh kompiler: jika nilai harapan suatu permainan ternyata lebih tinggi daripada roda, atau lebih rendah dengan selisih lebih dari setengah persen, program tidak akan bisa dibangun.

• Satu hadiah tidak lebih dari seperempat bank hadiah. Kontrak tidak bisa menjanjikan lebih dari yang dimilikinya, dan satu kemenangan besar tidak mengosongkan bank bagi pemain lain. Bagian yang tidak terbayar tetap berada di bank.
• Penarikan 12 jam setelah setoran terakhir. Aturan ini sama untuk semua orang dan dicatat sebagai konstanta: hanya bisa diubah dengan versi program yang baru.
• Jumlah awal jackpot berubah dengan penundaan 24 jam. Peluang ronde dikunci pada saat taruhan, sehingga tidak bisa diubah “menyesuaikan taruhan yang sudah dipasang”.
• 20 menit untuk perhitungan. Jika oracle tidak merespons, taruhan dikembalikan sepenuhnya kepada pemain: selama angkanya belum ada, tidak seorang pun mengetahui hasilnya, sehingga cara ini tidak bisa dipakai untuk menghindari kekalahan. Jika oracle merespons tetapi perhitungannya terlambat, hadiah biasa dibayarkan, sedangkan jackpot tidak diundi pada ronde ini. Perlindungan brankas. Sebelum setiap pembayaran dan setelah setiap perhitungan, kontrak memeriksa bahwa isi brankas tidak kurang dari kewajibannya kepada pemain dan pot; jika tidak, operasi ditolak. Pengawal. Jika oracle berhenti merespons, penerimaan taruhan baru dihentikan sementara secara otomatis; perhitungan dan penarikan tetap berjalan.
• Jackpot dibayar bertahap: pemenang berhak atas 95% pot, dengan 20% dibayar langsung dan 8% per minggu. Bagian yang belum dibayarkan tercatat di akun pemenang.
• Satu ronde belum selesai per pemain. Selama ronde belum diselesaikan, taruhan baru tidak diterima.

• Pengujian kontrak: bagian administrator 10% di setiap permainan, pengembalian semua permainan yang berdekatan pada bank 50 SOL, aturan seperempat bank dan batas atas hadiah pada saat taruhan, kunci penarikan, perubahan jumlah awal yang ditunda, penyelesaian terlambat tidak lebih menguntungkan daripada yang tepat waktu.
• Pemeriksaan keutuhan dana: puluhan ribu operasi acak; setelah setiap operasi, jumlah di brankas dicocokkan dengan jumlah saldo dan pot.
• Simulasi panjang: masing-masing dua juta taruhan untuk setiap permainan — berapa yang dibayarkan kepada pemain, berapa yang diterima administrator.
• Transaksi nyata di node Solana lokal: setoran, penolakan penarikan sebelum waktunya, penyetoran ke cadangan, perubahan jumlah awal.
• Pengujian situs: situs menghitung peluang dengan rumus yang sama seperti kontrak dan mencocokkannya dengan sampel yang dicatat kontrak.

Apa yang belum diuji dan belum dikerjakan dicantumkan apa adanya di halaman “Mengapa FAIRDRUM”. Cara memeriksa sendiri ronde mana pun ada di halaman “Periksa ronde”.