מהו הוגן באופן מספק וכיצד לבחון את שלמות המשחק

מהו הוגן באופן מספק (PF)

Professional Fair הוא פרוטוקול המאפשר לך לאמת באופן קריפטוגרפי שהתוצאה העגולה הייתה אקראית ולא יכול להיות מוחלף על ידי המפעיל לאחר ההימור.

הרעיון: תחילה פורסמה התחייבות (חשיש של זרע השרת הנסתר), לאחר מכן לאחר ההימור מתגלה רביל (זרע השרת עצמו), וכל אחד יכול לבדוק את החשיש ולשכפל את ה-RNG, בהתחשב בזרע הלקוח של השחקן ומזהים עגולים.

פרוטוקול בסיס: להתחייב # הימור _ לחשוף

1. להתחייב: לפני תחילת הסבבים, השרת יוצר ”שרת _ זרע” אקראי ומפרסם את החשיש שלו:


להתחייב = SHA-256 (server_seed        מלח )//או Keccak-256

להתחייב ניתן להציג בהיסטוריה/בלוקצ 'יין/כתב עת.

2. הימור: השחקן בוחר או מאשר את ה ”לקוח _ זרע” שלו (מ-UI או משלו), שולח הימור עם:


client_seed, זיהוי, נונס

3. חשיפה: לאחר סגירת ההימורים, השרת חושף ”שרת _ זרע” (ו ”מלח” היה) כדי שכולם יוכלו לבדוק:


SHA-256 (server_seed        מלח) = להתחייב//בדיקת שלמות

4. RNG: מספר אקראי הוא דטרמיניסטי ובר רבייה:


rng = HMAC-SHA256 (מפתח = שרת _ seed, msg = client _ seed        Description        nunce)
או rng = SHA-256 (server_seed        client_seed        Description        nunce)

5. מיפוי לתוצאה: המרת 'rng' לטווח המשחק ללא תזוזה (ראו להלן).

💡 למה nunce? כך שעם ”שרת _ זרע” אחד אתה יכול להוציא סבבים רבים ללא הסיכון של חיזוי: ”nonce” מרווחים כל סיבוב/הימור.

איך להשיג מספר נטול דעות קדומות

זה לא בסדר לקחת 'rng% N' - זה נותן קיזוז מודולרי אם 2 ° k הוא לא ריבוי של N. זה נכון - דגימת דחייה:

פסאודו
// rng_bytes = 32 בייטים חשיש uint256 x = uint256 (rng_bytes)

הגבלה = קומה (2 ä256/N) N בעוד x> = גבול:
 =  ( )/” מיקס” שוב דטרמיניסטי x = uint256 (

תוצאה = x% N

אז אנחנו מקבלים התפלגות אחידה על N תוצאות (תאי רולטה, סמלי תופים וכו ').

דוגמה קטנה (אימות שלב נגן)

נניח:


server_seed = "b2c6... e9 "//התגלה לאחר סיבוב (הקס/אוטפ8)
client_seed = ”לקוח-זרע שלי ”//בחרתי ב ”R-2025-10-17-001”
nunce = 42 להתחייב = "c9a1... f3 "//ערווה. מראש

1) בדיקת התחייבות

רוזן 'SHA-256 (server_seed)' ולוודא שזה תואם 'להתחייב.

2) RNG דטרמיניסטי

ספירה:


rng = HMAC-SHA256 (מפתח = שרת _ זרע, msg = client_seed         ":"         Description         ":"         nunce)

3) המרה לתוצאה

עבור רולטה (37 מספרים) # N = 37, הפעל דגימת דחייה וקח את ”x% 37”.

עבור חריץ, השתמש בחתיכות RNG מרובות כדי להגדיר סלילים/סמלים לפי טבלת ההקצאה.

4) בדוק את התוצאה בהיסטוריה

האתר צריך להציג את אותם קלט שהיו בשימוש בחישוב: "server _ seed", "client _ seed", "doutId'," nonce "," hashAlgo "," rngAlgo "," ma Version ".

חלופה/רווח: VRF (פונקציה אקראית ניתנת לאימות)

במקום התחייבות, המפעיל יכול (או באופן אופטי) להשתמש ב-VRF:

1. חוזה חכם או רישום ציבורי מבקש מהספק VRF (זרע).

2. פורסם על ידי '(אקראי, הוכחה)'.

3. כל אחד יכול לבדוק את ”חסין” על ידי אותו זוג מפתחות VRF ציבורי.

4. לאחר מכן, אותו אר-אן-ג 'י ממפה את התוצאה.

פחות אמון במרכזנית. חסרונות: תלות בספקי VRF/שרשרת ועלות אפשרית.

איך קזינו צריך ליישם את PF בצורה נכונה

חוזה (חוזה נתונים PF)

שוליים בהיסטוריה העגולה:

'serverServerShash', 'ServerServerServise', 'Sleed Seed', 'nonce', 'HashAlgo', 'rngAlgo', 'Ma Ver', ' Url'. , 'CalcVer'.
ערכים - באחסון תולעת (immutable), עם בולי זמן (UTC).

דור זרעים

'server _ seed' הוא שנוצר על ידי PRNG קריפטוגרפית (OS CSPRNG/HSM).

סידס לא צריך לחזור על עצמו בין סדרות (סיבוב).

'client _ seed' - נבחר על ידי השחקן או נוצר על הלקוח ואישר.

ביצוע הוצאה לאור

התחייבויות זמינות לפני הימורים (היסטוריה, RSS, על-שרשרת-עוגן).

עבור רבים, ניתן להשתמש בעץ המרקלי המתחייב עם השורש המתפרסם מדי יום.

חשיפה

לפני פרסום התוצאה, ”server _ seed” מורחב ונרשם.

לסדרה של סיבובים על מושב אחד - גילוי לאחר סיום הסדרה (מצביע על המדיניות מראש).

מיפוי שקוף

אלגוריתם המיפוי (Ma Ver) קבוע.

כל שינוי (Ma Ver '/' rngAlgo ') - רק עם הכרזה וסדרה חדשה של משימות.

ביקורת ומחלוקות

קלט גולמי + תקליט חישוב נשמר; כאשר מתווכחים, נוצר דו "ח: Inputs # RNG # Mapping Action.

זרמים/חי: לאחסן קורות חיים/RFID עוגני חשיש אירוע, וידאו בתולעת.

איך שחקן יכול לבדוק כנות (רשימה)

1. פתח את ההיסטוריה של הסיבוב והעתק: ”ServerGoove”, ”Second Seed”, ”nonce”, ”HashAlgo”, ”rngAlgo”, ”Ma Ver”.

2. לספור את חשיפת החשיש ולהשוות עם ”חשיש סרבי”.

3. חישוב ה ־ RNG לפי האלגוריתם המצוין (HMAC/Hash + inputs).

4. הפעל מיפוי ”לא משוחד” (דגימת דחייה) למספר התוצאות.

5. ודא שהתוצאה זהה לזו המוצגת.

6. אם VRF מוכרז, בדוק את הכפתור ”חסין” (”Veriate” או script/block explorer).

שגיאות אופייניות (נגד תבניות)

'rng% N' without דגימת דחייה = = הסתברויות מוטות.

מוחבא או משתנה ”client _ seed” (נוצר על ידי השרת ללא השתתפות השחקן).

re-דור של 'server _ seed' לאחר ההימור (לבצע שינויים רטרואקטיביים).

אלגוריתם אטום משתנה ללא גרסה/פרסום.

שידור חוזר של צדדים בין סדרות.

מחסור בבולי תולעת/זמן - לא ניתן להוכיח את סדר האירועים.

ערבוב PF ולוגיקה עסקית (לדוגמה, הבונוס מיושם באופן כזה שהוא משנה את מרחב התוצאה, אבל זה לא מתואר ב- Ma Ver).

FAQ (קצר)

האם זה אפשרי לבדוק חריצים, לא רק רולטה?

כן, זה מה שעשיתי. PF מיושם על רצף הבחירה (למשל, אינדקס הסמל על הסליל). חשוב שטבלאות ההסתברות RNG וסדר הקריאה יתועדו.

ואם הכנסתי את ה ”לקוח _ זרע” שלי, המפעיל עדיין יכול ”להרים” ”שרת _ זרע”?

לא אם ההתחייבות פורסמה לפני ההצעה. הוא מתקן את השרת _ seed ולא מאפשר לו להיות מוחלף רטרואקטיבית.

למה לפעמים הם חושפים צדדים בחבורות?

כך שלא ניתן היה ”למיין” את הזרע בסדרה. זה מקובל אם ההתחייבות מתפרסמת מראש ומדיניות הגילוי שקופה.

פורמטים מיני-התייחסות

SHA-256 או Keccak-256.

ר.נ.ג: HMAC-SHA256 או SHA-256 התעמרות.

זיהוי: 'dougId' (UTC-חותמת + game + curment),' nonce '(דלפק הימור בסדרה).

'rngAlgo = HMAC-SHA256 @ 1', 'Ma Ver = רולטה. v2 ',' calcVer = ארנק-7. 2`.

רשימת מימושים של אופרטור PF

קריפטוגרפיה וסידים

[ ] CSPRNG/HSM; ”server _ seed” ייחודי, סיבוב מתועד.

[ ] 'client _ seed' נשלט על ידי השחקן, ניצל בהיסטוריה.

פרסומים ואחסון

[ ] מתחייב להמר, גישה להיסטוריה/פרסום ערוץ/מנחה.

[ ] אחסון תולעת, בולי UTC, חבורות מרקלי למאזניים.

אלגוריתמים

[ ] RNG ומיפוי ללא הטיה; Versioning 'rngAlgo/Maste Ver'.

[ ] תסריט/דף ”בדוק כנות” (קוד פתוח רצוי).

בשידור חי ובהיברידי

[ ] קורות חיים/RFID/עוגני חשיש שלב עגול, יומן ”כאשר חלון ההימורים היה סגור”.

[ הליכי מחלוקת ] (vkhodov * iskhod report, קישור למתחייבים/VRF).

אבטחה וביקורת

[ ] ביקורת העצמאית של פרוטוקול PF, פרס באג.

[ יומני ההחלטה ] בלתי ניתנים לשינוי; מבחנים קבועים בהילוך חוזר.

הוגן בהחלט הופך "לסמוך עלינו" ל "לבדוק את זה בעצמך. "עם התחייבות/גיבוב או VRF, RNG דטרמיניסטי, ותיקון מיפוי אי-קיזוז, כל סיבוב הופך להיות בר רבייה ומאומת. עבור שחקן, זה שקיפות ואמון. עבור המפעיל - פחות מחלוקת, מותג חזק יותר וציות לדרישות הרגולטוריות. העיקר הוא משמעת: לפרסם מתחייב מראש, לתקן גרסאות של אלגוריתמים, לאחסן ראיות תמיד ולתת למשתמש כלי אימות פשוט.