Keadilan Mines

​

Apa yang dikunci, dan kapan

1. Mengunci kontribusi operator. Backend membuat server_seed acak sepanjang 32 byte, dan transaksi menyimpan hash SHA-256-nya, yaitu commitment. Seed itu sendiri tetap tersembunyi sampai game berakhir.
2. Merekam entropi chain. Program membaca slot hash terbaru dari sysvar SlotHashes Solana dan menyimpannya di dalam game.
3. Membekukan ketentuan. House edge, batas pembayaran, dan batas waktu refund direkam (snapshot) ke dalam game Anda; tidak ada yang bisa mengubah harga papan yang sedang Anda mainkan.

​

Bagaimana papan Mines diturunkan?

input
  server_seed  32 byte    seed operator, dikunci sebagai sha256(server_seed) saat game dimulai
  slothash     32 byte    slot hash Solana terbaru saat transaksi start dieksekusi
  user         32 byte    alamat akun pengguna on-chain Anda
  nonce        8 byte     penghitung game Mines Anda, little-endian
  mines_count  1..24      jumlah ranjau yang Anda pilih

aliran acak: blok SHA-256 dipakai 4 byte setiap kali
  block(k)   = sha256( server_seed ‖ slothash ‖ user ‖ nonce ‖ "mines" ‖ k )
               // "mines" = 5 byte ASCII; k = penghitung blok 0, 1, 2, … sebagai 8 byte little-endian
  next_u32() = 4 byte berikutnya yang belum dibaca dari blok saat ini, big-endian;
               jika blok habis, lanjut ke block(k+1)

pengambilan tak bias dalam 0..bound (rejection sampling, tanpa bias modulo)
  draw(bound):
    zone = 4294967295 − (4294967295 mod bound)
    ulangi v = next_u32() sampai v < zone
    kembalikan v mod bound

papan: pengacakan Fisher–Yates parsial
  tiles = [0, 1, …, 24]
  mine_mask = 0
  for i in 0..mines_count:
      j = i + draw(25 − i)
      tukar tiles[i] dan tiles[j]
      mine_mask = mine_mask OR (1 << tiles[i])

• Urutan input hash persis seperti ini: seed, slot hash, alamat akun pengguna, nonce (8 byte little-endian), tag ASCII "mines", lalu penghitung blok (8 byte little-endian, dimulai dari 0).
• Setiap potongan 4 byte dibaca secara big-endian. Satu blok menghasilkan paling banyak 8 pengambilan; aliran diisi ulang dengan nilai penghitung berikutnya bila diperlukan.
• Loop rejection sampling membuat setiap pengambilan benar-benar seragam: pengacakannya tidak memiliki bias yang bisa diperdebatkan.

​

Formula pembayaran apa yang ditegakkan program?

                              k−1
pengali = (1 − edge) × product ( (25 − i) / (25 − M − i) )
                              i=0

M = jumlah ranjau, k = jumlah kotak aman yang dibuka

​

Apa yang ditegakkan program saat penyelesaian

• sha256(server_seed) harus sama dengan commitment yang disimpan saat game dimulai; seed yang berbeda tidak dapat menyelesaikan game.
• Papan diturunkan ulang dari awal dengan formula di atas. Kotak terbuka yang ternyata berisi ranjau akan ditolak; kotak bust yang diklaim tetapi bukan ranjau akan ditolak; kotak bust yang juga diklaim sebagai terbuka akan ditolak.
• Pengali dihitung on-chain dari edge yang direkam (snapshot) dan jumlah kotak yang benar-benar Anda buka, sehingga pembayaran tidak bisa dilaporkan secara keliru.
• Event penyelesaian memublikasikan seed, slot hash, mask ranjau lengkap, kotak yang Anda buka, dan hasilnya, secara permanen.

​

Apa yang dijamin, dan apa yang tidak

• Papan sudah tetap sebelum pilihan pertama Anda, berkat commitment ditambah slot hash yang tersimpan. Ranjau tidak bisa berpindah di tengah game.
• Saat penyelesaian, operator tidak bisa berbohong tentang papan: seed yang salah, ranjau yang diklaim aman, atau bust palsu semuanya membuat transaksi gagal.
• Ketentuan saat Anda memulai (edge, batas pembayaran, batas waktu) berlaku sampai game berakhir.
• Taruhan Anda tidak akan pernah terkunci: jika operator tidak pernah menyelesaikan game, pembatalan bisa dipanggil oleh siapa pun setelah batas waktu game, dan taruhan Anda dikembalikan. Dalam operasi normal Anda tidak akan sampai ke titik itu: papan yang ditinggalkan akan di-cashout pada pengali saat itu sebelum batas waktu (lihat Mines), sehingga Anda tetap mendapatkan kemenangan Anda, bukan sekadar taruhan Anda. Pembatalan tanpa izin (permissionless) adalah jaminan dasarnya, untuk kasus ketika operator sudah tidak ada.

• Operator mengetahui papan saat Anda bermain. Ini bersifat struktural, bukan kelemahan desain khusus ini: pembukaan kotak dilayani secara instan off-chain, dan siapa pun yang melayaninya harus tahu letak ranjau. Tidak ada skema keacakan yang bisa menghilangkan hal ini: bahkan papan yang dibuat dengan VRF pun akan diketahui operator begitu ia melayani pembukaan kotak pertama Anda. Yang dijamin oleh commitment adalah bahwa pengetahuan ini tidak dapat digunakan untuk mengubah papan atau melaporkan hasil secara keliru.
• Waktu mulai. Papan bergantung pada slot hash yang direkam saat game Anda dimulai, dan transaksi start dikirim oleh backend, pertimbangan waktu yang sama seperti pada game lainnya. Mengetahui papan lebih awal hanya berguna jika pilihan Anda dapat diprediksi; mengubah-ubah posisi klik Anda menggagalkan pemilihan papan berdasarkan waktu.
• Pembatalan (void). Operator dapat membatalkan game yang sedang berlangsung (termasuk, secara prinsip, game yang sedang Anda menangkan). Pembatalan mengembalikan seluruh taruhan (tidak ada jalur penyitaan) dan selalu memancarkan event publik, sehingga frekuensi pembatalan dapat diaudit on-chain oleh siapa pun.
• Setiap game harus memakai seed baru: seed yang sudah diungkap bersifat publik, dan memakainya ulang akan membuat papan berikutnya dapat diturunkan oleh publik. Program menolak pemakaian ulang berturut-turut secara on-chain, dan backend menegakkan keunikan secara global.

​

Bagaimana cara memverifikasi game Mines?

1. Periksa commitment: sha256(server_seed) harus sama dengan commit_hash yang dipublikasikan di transaksi start game Anda (event MinesGameStarted), membuktikan bahwa papan sudah dikunci sebelum pilihan pertama Anda.
2. Turunkan ulang mask ranjau dengan formula di atas dan bandingkan dengan mines_mask pada event.
3. Periksa hasil terhadap mask: setiap bit revealed_mask harus merupakan kotak aman, dan kotak bust harus berisi ranjau.
4. Periksa pengali dengan formula pembayaran.