شرح خوارزمية Aviator: تحليل SHA-512 للعدالة القابلة للإثبات

Emma Rodriguez·محرر المقامرة المسؤولة

راجعهJames Mitchell

٣٠ ديسمبر ٢٠٢٤

6 دقائق قراءة

شرح خوارزمية Aviator: دليل تقني كامل

من أهم ميزات Aviator خوارزمية «العدالة القابلة للإثبات» (provably fair) — وهي نظام تشفيري يتيح لأي لاعب أن يتحقق بنفسه من أن نقطة الانهيار (crash point) في أي جولة حُدِّدت بإنصاف ولم يجرِ التلاعب بها. يشرح هذا الدليل طريقة عملها والرياضيات التي تقف خلفها وكيفية التحقق من النتائج بنفسك.

ما معنى «العدالة القابلة للإثبات»؟

تتطلب ألعاب الكازينو التقليدية أن تثق بأن المشغّل لم يتلاعب بالنتائج. أما أنظمة العدالة القابلة للإثبات فتزيل شرط الثقة هذا باستخدام دوال التجزئة التشفيرية (cryptographic hash functions) التي تجعل تغيير النتيجة بعد الالتزام بها أمرًا مستحيلًا رياضيًا.

المبدأ الأساسي:

قبل الجولة، يلتزم الخادم بنتيجة معيّنة عن طريق نشر قيمة التجزئة (hash) الخاصة بها
بعد الجولة، يكشف الخادم الأصل (pre-image)، أي البذرة المستخدمة لتوليد قيمة التجزئة
يمكنك التحقق من أن قيمة التجزئة الملتزَم بها تطابق البذرة المكشوفة
إذا تطابقتا، فهذا يعني أن النتيجة لم يُتلاعب بها

دالة التجزئة SHA-512

SHA-512 (خوارزمية التجزئة الآمنة بطول 512 بت) هي دالة تجزئة تشفيرية تتميز بخاصيتين أساسيتين للألعاب القابلة للإثبات:

الخاصية 1: الحتمية

المدخل نفسه يعطي دائمًا المخرج نفسه:

المدخل: "hello" → المخرج: 9b71d224bd62f3785d96d46ad3ea3d73319bfbc2890caadae2dff72519673ca72323c3d99ba5c11d7c7acc6e14b8c5da0c4663475c2e5c3adef46f73bcdec043

الخاصية 2: مقاومة الاستعادة العكسية

إذا عُرفت قيمة التجزئة، فمن غير الممكن حسابيًا استنتاج المدخل الأصلي منها. وحتى بكل القدرة الحاسوبية في العالم، سيستغرق العثور على المدخل المقابل لقيمة SHA-512 معيّنة وقتًا أطول من عمر الكون.

وهذا يعني: إذا نشر الخادم قيمة تجزئة قبل الجولة، فلا يستطيع تغيير البذرة الأصلية لاحقًا دون أن تنتج قيمة تجزئة مختلفة تمامًا — وهو ما ستكتشفه فورًا.

المدخلات: بذرة الخادم وثلاث بذور للعملاء

تُولَّد نقاط الانهيار في Aviator من أربعة مدخلات:

بذرة الخادم (Server Seed)

سلسلة عشوائية يولّدها الخادم قبل الجولة. ينشر الخادم قيمة SHA-256 لهذه البذرة قبل قبول الرهانات، ثم يكشف البذرة نفسها عند انتهاء الجولة.

بذور العملاء (Client Seeds)

تُجمع بذور العملاء الخاصة بـأول ثلاثة لاعبين وضعوا رهانًا في الجولة وتُعرض ضمن تفاصيل الجولة. ولأن هذه القيم تأتي من لاعبين مستقلين، لا يستطيع المشغّل معرفة المدخل المجمَّع مسبقًا.

دمج المدخلات

تُدمج بذرة الخادم وبذور العملاء الثلاث في سلسلة واحدة ثم تُجزَّأ باستخدام SHA-512. وتحدد السلسلة الناتجة المكوّنة من 128 خانة سداسية عشرية نقطة الانهيار.

كيف تُحسب نقطة الانهيار

لا تنشر Spribe العمليات الحسابية الدقيقة التي تحوّل قيمة SHA-512 إلى مضاعِف. يستخدم الشرح أدناه البناء المرجعي المفتوح الذي اشتهر عبر Bustabit (قيمة تجزئة للجولة بخوارزمية HMAC-SHA256 مع nonce) ليوضح كيف تتحول قيمة التجزئة إلى مضاعِف يحقق توزيعه العلاقة P(crash ≥ x) = 0.97/x. وتتبع سلسلة معالجة SHA-512 في Aviator المبدأ نفسه: أخذ البتات الأولى من قيمة التجزئة، وتحويلها إلى مضاعِف، ثم تطبيق أفضلية الكازينو (house edge).

في البناء المرجعي تُشتق نقطة الانهيار عبر عملية حتمية:

الخطوة 1: توليد قيمة تجزئة الجولة

round_hash = HMAC-SHA256(server_seed, client_seed + ":" + nonce)

ينتج عن ذلك سلسلة سداسية عشرية من 64 خانة، مثل:

a7b3c8d2e9f14056789012345678901234567890abcdef1234567890abcdef12

الخطوة 2: استخراج رقم من قيمة التجزئة

خذ أول 8 خانات (32 بتًا) من قيمة التجزئة وحوّلها من النظام السداسي العشري إلى العشري:

h = parseInt(hash.substring(0, 8), 16)
// Example: "a7b3c8d2" → 2,813,000,914

أقصى قيمة ممكنة لـ h هي 2^32 − 1 = 4,294,967,295.

الخطوة 3: تطبيق صيغة نقطة الانهيار

crash_point = floor((1 − houseEdge) × 2^32 / (2^32 − h)) / 100

حيث houseEdge = 0.03 (أي 3%).

بصيغة مبسّطة:

crash_point = floor(0.97 × 4,294,967,296 / (4,294,967,296 − h)) / 100

حالة خاصة: الانهيار الفوري

يتولى شرط منفصل تطبيق أفضلية الكازينو مباشرةً. إذا تحقق:

h mod 33 === 0

...تنهار الجولة فورًا عند 1.00× بغض النظر عن نتيجة الصيغة. يحدث هذا باحتمال 1/33 ≈ 3.03%، وهو ما يفرض أفضلية الكازينو.

مثال عملي خطوة بخطوة

لنفترض أن أول 8 خانات سداسية عشرية من قيمة تجزئة الجولة هي 4f2a1b3c:

h = 0x4f2a1b3c = 1,328,284,988
2^32 = 4,294,967,296

التحقق: هل 1,328,284,988 mod 33 === 0؟ لا ← ننتقل إلى الصيغة.

crash_point = floor(0.97 × 4,294,967,296 / (4,294,967,296 − 1,328,284,988)) / 100
= floor(4,166,117,577 / 2,966,682,308) / 100
= floor(1.4043...) / 100
= 140 / 100
= 1.40×

ستكون نقطة الانهيار في هذه الجولة 1.40×.

لماذا تعطي هذه الصيغة التوزيع الصحيح

تنتج العلاقة P(crash ≥ x) = 0.97 / x رياضيًا من هذا البناء:

لكي تكون نقطة الانهيار x على الأقل، يجب أن تحقق القيمة h المشتقة من قيمة التجزئة ما يلي:

0.97 × 2^32 / (2^32 − h) ≥ x
→ 2^32 − h ≤ 0.97 × 2^32 / x
→ h ≥ 2^32 × (1 − 0.97/x)

أما احتمال أن تحقق قيمة h عشوائية منتظمة هذا الشرط فهو:

P(h ≥ 2^32 × (1 − 0.97/x)) = 1 − (1 − 0.97/x) = 0.97/x

وهذا يعطي بالضبط P(crash ≥ x) = 0.97/x — أي أن صيغة أفضلية الكازينو مدمجة رياضيًا في اشتقاق نقطة الانهيار.

كيف تتحقق من النتائج بنفسك

الخطوة 1: سجّل بيانات الجولة

بعد أي جولة، دوّن ما يلي:

قيمة تجزئة بذرة الخادم (تُعرض قبل الجولة)
بذرة الخادم (تُكشف بعد الجولة)
بذور العملاء لأول ثلاثة لاعبين وضعوا رهانات

الخطوة 2: تحقق من الالتزام بقيمة التجزئة

احسب SHA-256(server_seed) وتأكد من أنها تطابق قيمة التجزئة الملتزَم بها مسبقًا. إذا تطابقت، فهذا يعني أن بذرة الخادم لم تتغير بعد الالتزام.

الخطوة 3: أعد حساب نقطة الانهيار

باستخدام الصيغة أعلاه، أعد حساب نقطة الانهيار من البذور. إذا طابقت نقطة الانهيار المعلنة، فالجولة كانت عادلة.

استخدام أداة التحقق من العدالة القابلة للإثبات في AviatorStats

تؤتمت أداتنا Provably Fair Checker على موقع AviatorStats.com هذه العملية بالكامل:

أدخل بذرة الخادم المكشوفة وبذور العملاء الثلاث المعروضة في تفاصيل الجولة
تحسب الأداة تركيبة SHA-512، وتستخرج h، وتطبّق صيغة الانهيار، وتعرض نقطة الانهيار المتوقعة
قارنها بالنتيجة المعلنة في اللعبة — يجب أن تتطابقا تمامًا

يمنحك هذا يقينًا تشفيريًا بشأن عدالة الجولة دون حساب يدوي.

ما الذي تضمنه العدالة القابلة للإثبات وما الذي لا تضمنه

ما تضمنه:

أن نقاط الانهيار لم تتغير بعد الالتزام بها
أن النتائج تحددها البذور رياضيًا
أن أفضلية الكازينو هي 3% بالضبط كما هو معلن
أن بإمكان أي شخص التحقق من أي جولة سابقة بشكل مستقل

ما لا تضمنه:

أنك ستربح في أي جولة بعينها
أن تسلسل النتائج «عادل» تجاه أي لاعب بمفرده
أن الاستراتيجيات تستطيع التغلب على أفضلية الكازينو المدمجة
أن النتائج السابقة تتنبأ بالنتائج المستقبلية (فهي لا تفعل)

نظام العدالة القابلة للإثبات آلية شفافية وليس أداة للربح. فهو يضمن أن اللعبة تعمل كما هو معلن — وهذا بحد ذاته مفيد، لكنه منفصل عن رياضيات القيمة المتوقعة على المدى الطويل.

استخدم أدوات التحليل لدينا لـ Aviator

حلّل بيانات Aviator بواسطة الإحصاءات المباشرة وتحليل التوزيع ومخططات الاتجاه وأداة التحقق provably fair. جميع الأدوات مجانية ولا تتطلب تسجيلًا.

أدلة ذات صلة

أدلة اللعبة:

الاستراتيجية والتحليل:

تحذيرات من الاحتيال:

أدلة المنصات:

إخلاء مسؤولية: هذا الشرح التقني لأغراض تعليمية. فهم الخوارزمية لا يمنحك أي أفضلية في التنبؤ بالنتائج. نتائج Aviator غير قابلة للتنبؤ تشفيريًا قبل كل جولة. قامر دائمًا بمسؤولية.

Emma Rodriguezالكاتب

محرر المقامرة المسؤولة. ينتج محتوى متخصصًا عن ألعاب crash وتحليل RTP والقمار المسؤول لفريق Aviator Tracker.

الأسئلة الشائعة

تعني العدالة القابلة للإثبات أن نقطة الانهيار في كل جولة يُلتزم بها تشفيريًا قبل بدء الجولة (عبر قيمة تجزئة بذرة الخادم المنشورة). وبعد الجولة يكشف الخادم البذرة الأصلية، ويمكنك التحقق من أنها تطابق قيمة التجزئة الملتزَم بها مسبقًا. إذا تطابقتا، فهذا يعني أن النتيجة لم يُتلاعب بها.

في البناء المرجعي المستخدم في هذا الدليل: crash_point = floor((1 − 0.03) × 2^32 / (2^32 − h)) / 100، حيث h عدد صحيح بطول 32 بتًا مشتق من أول 8 خانات سداسية عشرية من قيمة تجزئة الجولة، وإذا كان h mod 33 = 0 تنهار الجولة فورًا عند 1.00×. أما تطبيق Spribe نفسه فيجزّئ بذرة الخادم مع ثلاث بذور للعملاء باستخدام SHA-512 ولا ينشر عملياته الحسابية الدقيقة.

لا. تُنشر قيمة تجزئة بذرة الخادم قبل لعب الجولة. وتغيير بذرة الخادم بعد الالتزام سينتج قيمة تجزئة مختلفة، وهو ما يستطيع اللاعبون اكتشافه فورًا. ويجعل الالتزام التشفيري التلاعب اللاحق مستحيلًا رياضيًا.

تظهر أفضلية الكازينو في موضعين: (1) العامل 0.97 في صيغة الانهيار يخفض جميع نقاط الانهيار بنسبة ثابتة، و(2) عندما يكون h mod 33 = 0 (باحتمال ≈ 3.03%) تنهار الجولة فورًا عند 1.00×. وهما معًا ينتجان بالضبط P(crash ≥ x) = 0.97/x.

استخدم أداة AviatorStats Provably Fair Checker: أدخل بذرة الخادم (المكشوفة بعد الجلسة)، وقيمة تجزئة بذرة الخادم، وبذرة العميل، وnonce الجولة. تعيد الأداة حساب HMAC-SHA256، وتشتق نقطة الانهيار بالصيغة، وتقارنها بالنتيجة المعلنة. والتطابق يؤكد العدالة.