News

ยุติธรรมพิสูจน์ได้ กับเครื่องสุ่มที่ได้รับรอง อะไรคุ้มครองคุณ

เครื่องสุ่มที่ได้รับรองขอให้คุณเชื่อการตรวจสอบ ความยุติธรรมที่พิสูจน์ได้ยื่นใบเสร็จรายเกมให้คุณตรวจเอง นี่คือความต่าง

fairnessprovably fairexplainer

เครื่องสุ่มที่ได้รับการรับรองหมายความว่า ห้องปฏิบัติการอิสระได้ตรวจเครื่องกำเนิดเลขสุ่มในช่วงเวลาหนึ่ง และตัดสินว่าผลลัพธ์ของมันมั่นคงในทางสถิติ ความยุติธรรมที่พิสูจน์ได้หมายความว่า เกมยื่นใบเสร็จเชิงรหัสลับสำหรับเกมของผู้เล่นแต่ละคนให้เขาเอง เพื่อให้ทุกการทอดตรวจซ้ำได้โดยไม่ต้องเชื่อใคร แบบหนึ่งตรวจสอบเครื่อง อีกแบบพิสูจน์เกมของคุณ

ทั้งสองวลีปรากฏบนหน้าความน่าเชื่อถือของเกมออนไลน์ที่ทอดลูกเต๋าแทนคุณ และฟังดูเหมือนใช้แทนกันได้ แต่ใช้แทนกันไม่ได้ ทั้งสองตอบคำถามคนละข้อ พังคนละแบบ และความต่างนั้นตัดสินว่าคุณกำลังถูกขอให้เชื่ออะไรตอนนั่งลงเล่น

เครื่องสุ่มที่ได้รับรอง รับรองอะไรกันแน่

ห้องปฏิบัติการรับรองจะเอาเครื่องกำเนิดมา ส่งผลลัพธ์ผ่านชุดการทดสอบทางสถิติ แล้วไล่ล่าความเอนเอียง ตัวเลขที่มาบ่อยเกินไป รูปแบบที่ซ้ำ ลำดับที่ลอยเลื่อน ถ้าตัวอย่างหลายล้านชุดดูแยกไม่ออกจากความบังเอิญ ห้องปฏิบัติการก็ลงนามในใบรับรอง งานนั้นเป็นงานจริงและต้องอาศัยฝีมือ มันสถาปนาว่าเครื่องกำเนิดนั้น ในรูปแบบที่ถูกทดสอบ ในวันนั้น ผลิตความสุ่มที่มั่นคง

สังเกตสิ่งที่ใบรับรองมองไม่เห็น มันถูกออกในห้องปฏิบัติการ ส่วนลูกเต๋าของคุณถูกทอดบนเซิร์ฟเวอร์

  • โค้ดที่ถูกทดสอบยังเป็นโค้ดที่ใช้งานจริงอยู่หรือไม่ หลังผ่านหลายเดือนและการอัปเดตหลายครั้ง
  • สายเชื่อมระหว่างเครื่องกำเนิดกับเกมของคุณ โค้ดที่แปลงเลขสุ่มดิบให้กลายเป็น 6 กับ 4 ของคุณ
  • การทอดครั้งใดครั้งหนึ่งในเกมใดเกมหนึ่ง การรับรองพูดถึงเครื่องกำเนิดโดยทั่วไป ไม่เคยพูดถึงเกมคืนวันอังคารของคุณ

การรับรองจึงพ่วงเงื่อนไขข้อสองที่ไม่ออกเสียงมาด้วย เชื่อว่าไม่มีอะไรเปลี่ยนไปตั้งแต่วันทดสอบ และเชื่อว่าเส้นทางที่ได้รับรองคือเส้นทางที่เกมของคุณเดินผ่านจริง สตูดิโอส่วนใหญ่รักษาข้อนี้ ประเด็นคือคุณตรวจไม่ได้ แบบจำลองนี้คือการตรวจเครื่องในช่วงเวลาหนึ่ง ตามด้วยศรัทธาต่อการนำขึ้นใช้งานในทุกช่วงเวลาหลังจากนั้น

ความยุติธรรมที่พิสูจน์ได้คืออะไร

ความยุติธรรมที่พิสูจน์ได้เป็นข้อตกลงอีกแบบ แทนที่จะชี้ไปยังการตรวจสอบที่คุณไม่เคยเห็น เกมผูกมัดตัวเองกับความสุ่มของมันก่อนเริ่มเล่น แล้วเปิดเผยมากพอในภายหลังให้คุณคำนวณทุกการทอดใหม่ได้เอง ข้อพิสูจน์เดินทางไปพร้อมกับเกม ในทางปฏิบัติมันทำงานเหมือนซองที่ผนึกไว้

ผูกมัด. ก่อนการเดินครั้งแรก เซิร์ฟเวอร์สร้างเมล็ดลับแล้วประกาศลายนิ้วมือ SHA-256 ของมัน ลายนิ้วมือไม่เผยอะไรเลยเกี่ยวกับการทอดที่จะมาถึง แต่มันตรึงเมล็ดไว้กับที่ เปลี่ยนบิตเดียวของเมล็ดในภายหลัง ลายนิ้วมือก็ไม่ตรงอีกต่อไป

ทอด. ระหว่างเล่น ทุกการทอดถูกอนุมานจากเมล็ดด้วย HMAC-SHA256 หนึ่งการคำนวณต่อหนึ่งการทอด ลูกเต๋าถูกตัดสินไปแล้วตั้งแต่วินาทีที่ซองถูกผนึก จะสอดตัวเลขที่เป็นมิตรกว่าเข้ามากลางเกมโดยไม่ทำลายคำผูกมัดที่ประกาศไปแล้วนั้นทำไม่ได้

เปิดเผย. หลังเกมจบ เมล็ดถูกเปิดเผย ใครก็แฮชมัน เทียบกับคำผูกมัด คำนวณทุกการทอดใหม่ แล้ววางผลไว้ข้าง ๆ ลูกเต๋าที่ปรากฏบนกระดานได้ ถ้าทุกอย่างลงรอย เกมนั้นก็ถูกบังคับทิศทางไม่ได้ ถ้ามีอะไรถูกแตะต้อง คณิตศาสตร์จะบอกออกมา

ความไว้วางใจย้ายจากบริษัทไปสู่เลขคณิต คุณไม่ต้องเชื่ออีกต่อไปว่าการตรวจสอบละเอียดถี่ถ้วน หรือการนำขึ้นใช้งานซื่อตรง สิ่งที่คุณต้องการคือ SHA-256 ยังยืนอยู่ ซึ่งเป็นสมมติฐานเดียวกับที่อินเทอร์เน็ตทั้งส่วนที่เหลือพิงอยู่ทุกวัน

ใบรับรองบอกว่าเหรียญยุติธรรมในวันที่เราไปดู ใบเสร็จบอกว่าการโยนของคุณยุติธรรม แล้วแสดงการคำนวณให้ดู

แล้วการรับรองยังสำคัญอยู่ไหม

สำคัญ การผูกมัดแล้วเปิดเผยพิสูจน์ว่าคุณได้รับความสุ่มตรงตามที่ถูกผูกมัดไว้ มันไม่ได้พิสูจน์ว่าสิ่งที่ถูกผูกมัดนั้นดีมาแต่ต้น แหล่งเมล็ดที่อ่อนแอหรือเดาได้ ก็ยังผลิตใบเสร็จที่ผ่านการตรวจได้อย่างสมบูรณ์แบบ นั่นคือการส่งมอบลูกเต๋าที่ห่วยแตกอย่างพิสูจน์ได้ การตัดสินคุณภาพของแหล่งกำเนิดคือหน้าที่ของการตรวจสอบและการทดสอบทางสถิติโดยตรง และในอุตสาหกรรมที่ถูกกำกับดูแล ใบรับรองเป็นสิ่งจำเป็นอยู่แล้ว

แบบจำลองทั้งสองตอบคำถามคนละข้อ การตรวจสอบถามว่า ความสุ่มนี้ดีหรือไม่ ใบเสร็จถามว่า เกมของฉันได้ใช้มันจริงหรือไม่ ระบบที่มีแต่ข้อแรกอยู่ได้ด้วยศรัทธาถาวรต่อการนำขึ้นใช้งาน ระบบที่มีแต่ข้อหลังอาจส่งมอบลูกเต๋าที่ห่วยแตกอย่างซื่อสัตย์และพิสูจน์ได้ด้วย ระบบที่แข็งแรงที่สุดปิดประตูทั้งสองบาน

ทำไมหน้าตรวจสอบสาธารณะจึงสำคัญ

เพราะใบเสร็จที่ไม่มีใครอ่านได้ก็ไม่คุ้มครองใคร บางเกมประกาศคำผูกมัดแต่ไม่ให้ผู้เล่นมีวิธีตรวจที่ใช้ได้จริง หรือซุกการตรวจสอบไว้ในแอปตัวที่กำลังถูกตั้งคำถามนั่นเอง แบบนั้นไม่ปิดวงจรใดเลย ถ้าเครื่องมือเดียวที่รับรองระบบหนึ่งได้เป็นของระบบนั้นเอง คุณก็กลับมาที่ความเชื่ออีกครั้ง เพียงแต่มีขั้นตอนเพิ่มขึ้น

การจัดวางที่แข็งแรงที่สุดจะประกาศสามอย่าง คำผูกมัดก่อนเกม เมล็ดหลังเกม และวิธีคำนวณการทอดใหม่ที่เป็นอิสระและเปิดสาธารณะ ทำงานนอกตัวแอป นี่คือเหตุผลที่หน้าตรวจสอบของ Orion อยู่ในเบราว์เซอร์ ที่ orion.arthea.ai/verify ไม่ต้องมีบัญชี ไม่ต้องติดตั้ง และคำพูดของเราไม่เข้าร่วมการตรวจ