fairnessprovably fairexplainer
சான்றளிக்கப்பட்ட உருவாக்கி என்றால், ஒரு சுயாதீன ஆய்வகம் ஒரு காலத்தில் ஒரு சீரற்ற எண் உருவாக்கியைப் பரிசோதித்து அதன் வெளியீட்டைப் புள்ளிவிவர ரீதியாக உறுதியானது என்று கண்டது. நிரூபிக்கத்தக்க நேர்மை என்றால், விளையாட்டு ஒவ்வொரு வீரருக்கும் அவரவர் ஆட்டத்திற்கான ஒரு மறையியல் ரசீதை வழங்குகிறது, அதனால் யாரையும் நம்பாமலேயே ஒவ்வொரு உருட்டலையும் மீண்டும் கணக்கிட முடியும். ஒரு மாதிரி இயந்திரத்தைத் தணிக்கை செய்கிறது. மற்றொன்று உங்கள் ஆட்டத்தை நிரூபிக்கிறது.
உங்களுக்காகப் பகடை உருட்டும் இணைய விளையாட்டுகளின் நம்பிக்கைப் பக்கங்களில் இரு சொற்களும் தோன்றுகின்றன, அவை ஒன்றுக்கொன்று பதிலாக இருப்பது போலத் தோன்றுகிறது. அவை அல்ல. அவை வெவ்வேறு கேள்விகளுக்குப் பதிலளிக்கின்றன, வெவ்வேறு வழிகளில் உடைகின்றன, விளையாட அமரும்போது உங்களை எதை நம்பச் சொல்கிறார்கள் என்பதை இந்த வேறுபாடே தீர்மானிக்கிறது.
சான்றளிக்கப்பட்ட உருவாக்கி உண்மையில் எதற்குச் சான்றளிக்கிறது?
சான்றளிப்பு ஆய்வகம் ஓர் உருவாக்கியை எடுத்து, அதன் வெளியீட்டைப் புள்ளிவிவரச் சோதனைத் தொடர்களின் வழியே இயக்கி, சாய்வைத் தேடுகிறது: அடிக்கடி வரும் எண்கள், மீளும் வடிவங்கள், விலகிச் செல்லும் வரிசைகள். லட்சக்கணக்கான மாதிரிகள் சீரற்ற தன்மையிலிருந்து வேறுபடுத்த முடியாதவையாக இருந்தால், ஆய்வகம் சான்றிதழில் கையெழுத்திடுகிறது. அந்த வேலை உண்மையானது, திறமையும் தேவை. அது நிலைநாட்டுவது இதுதான்: சோதிக்கப்பட்டவாறே அந்த உருவாக்கி, அன்று உறுதியான சீரற்ற தன்மையை உருவாக்கியது.
சான்றிதழ் எதைப் பார்க்க முடியாது என்பதைக் கவனியுங்கள். அது ஆய்வகத்தில் வழங்கப்பட்டது, உங்கள் பகடைகளோ ஒரு சேவையகத்தில் உருட்டப்படுகின்றன.
- சோதிக்கப்பட்ட நிரல்தான் பயன்பாட்டிலுள்ள நிரலா, மாதங்கள் கழித்து, பல புதுப்பிப்புகளுக்குப் பிறகு.
- உருவாக்கிக்கும் உங்கள் ஆட்டத்திற்கும் இடையேயான கம்பிகள்: ஒரு மூல சீரற்ற எண்ணை உங்கள் 6 ஆகவும் 4 ஆகவும் மாற்றும் நிரல்.
- எந்த ஆட்டத்திலும் எந்த ஒரு உருட்டலும். சான்றளிப்பு உருவாக்கியைப் பற்றிப் பொதுவாகப் பேசுகிறது, செவ்வாய் இரவு உங்கள் ஆட்டத்தைப் பற்றி ஒருபோதும் அல்ல.
எனவே சான்றளிப்பு ஓர் அமைதியான இரண்டாம் நிபந்தனையைச் சுமக்கிறது: சோதனைக்குப் பிறகு எதுவும் மாறவில்லை என்று நம்புங்கள், சான்றளிக்கப்பட்ட பாதைதான் உங்கள் ஆட்டம் உண்மையில் சென்ற பாதை என்று நம்புங்கள். பெரும்பாலான ஸ்டுடியோக்கள் அதைக் காப்பாற்றுகின்றன. விஷயம் என்னவென்றால், உங்களால் சோதிக்க முடியாது. இந்த மாதிரி ஒரு கணத்தில் இயந்திரத்தைச் சோதிப்பது, அதன்பின் ஒவ்வொரு கணத்திலும் நிறுவலின் மீது நம்பிக்கை வைப்பது.
நிரூபிக்கத்தக்க நேர்மை என்றால் என்ன?
நிரூபிக்கத்தக்க நேர்மை வேறொரு ஒப்பந்தம். நீங்கள் ஒருபோதும் பார்த்திராத ஒரு தணிக்கையைச் சுட்டிக்காட்டுவதற்குப் பதிலாக, விளையாட்டு தொடங்கும் முன்பே தன் சொந்த சீரற்ற தன்மையுடன் தன்னைக் கட்டிக்கொள்கிறது, பின்னர் ஒவ்வொரு உருட்டலையும் நீங்களே மீண்டும் கணக்கிடும் அளவுக்கு வெளிப்படுத்துகிறது. சான்று ஆட்டத்துடனேயே பயணிக்கிறது. நடைமுறையில் இது முத்திரையிடப்பட்ட உறையைப் போலச் செயல்படுகிறது.
உறுதிமொழி. முதல் நகர்வுக்கு முன் சேவையகம் ஒரு ரகசிய விதையை உருவாக்கி அதன் SHA-256 கைரேகையை வெளியிடுகிறது. கைரேகை வரவிருக்கும் உருட்டல்கள் பற்றி எதையும் காட்டிக்கொடுக்காது, ஆனால் விதையை ஆணியடித்து நிறுத்துகிறது. பின்னர் விதையில் ஒரு பிட்டை மாற்றினாலும் கைரேகை பொருந்தாது.
உருட்டல்கள். ஆட்டத்தின்போது ஒவ்வொரு உருட்டலும் HMAC-SHA256 மூலம் விதையிலிருந்து பெறப்படுகிறது, ஒரு உருட்டலுக்கு ஒரு கணக்கீடு. உறை முத்திரையிடப்பட்ட அதே கணத்தில் பகடைகள் முடிவாகிவிட்டன. ஏற்கெனவே வெளியிடப்பட்ட உறுதிமொழியை உடைக்காமல் ஆட்டத்தின் நடுவே இரக்கமான ஓர் எண்ணைச் சொருக முடியாது.
வெளிப்பாடு. ஆட்டத்திற்குப் பிறகு விதை வெளிப்படுத்தப்படுகிறது. யார் வேண்டுமானாலும் அதைச் சுருக்கி, உறுதிமொழியுடன் ஒப்பிட்டு, ஒவ்வொரு உருட்டலையும் மீண்டும் கணக்கிட்டு, முடிவுகளைப் பலகையில் தோன்றிய பகடைகளுக்கு அருகில் வைக்கலாம். அனைத்தும் பொருந்தினால் ஆட்டத்தை இயக்க முடியாது. எதுவும் கையாடப்பட்டிருந்தால் கணிதம் சொல்லிவிடும்.
நம்பிக்கை நிறுவனத்திடமிருந்து கணிதத்திற்கு மாறுகிறது. தணிக்கை ஆழமானது என்றோ நிறுவல் விசுவாசமானது என்றோ நீங்கள் இனி நம்ப வேண்டியதில்லை. SHA-256 நிலைத்திருக்க வேண்டும், அவ்வளவே, அதுவே மீதி இணையம் தினமும் சாய்ந்திருக்கும் அதே அனுமானம்.
சான்றிதழ் சொல்வது: நாங்கள் பார்த்த நாளில் நாணயம் நேர்மையாக இருந்தது. ரசீது சொல்வது: உங்கள் உருட்டல் நேர்மையானது, இதோ கணக்கு.
அப்படியானால் சான்றளிப்புக்கு இன்னும் அர்த்தம் உண்டா?
உண்டு. உறுதியளிக்கப்பட்ட அதே சீரற்ற தன்மையே உங்களுக்குக் கிடைத்தது என்பதை கமிட் ரிவீல் நிரூபிக்கிறது. உறுதியளிக்கப்பட்டது தொடக்கத்திலேயே நல்லது என்பதை அது நிரூபிக்கவில்லை. பலவீனமான அல்லது கணிக்கக்கூடிய விதை மூலமும் சரியாகச் சரிபார்க்கப்படும் ரசீதுகளையே தரும்: மோசமான பகடைகளின் நிரூபிக்கத்தக்க வழங்கல். மூலத்தின் தரத்தை மதிப்பிடுவதுதான் தணிக்கைகளுக்கும் புள்ளிவிவரச் சோதனைக்கும் உரிய வேலை, ஒழுங்குபடுத்தப்பட்ட துறைகளில் சான்றிதழ் வெறுமனே கட்டாயமும் கூட.
இரு மாதிரிகளும் வெவ்வேறு கேள்விகளுக்குப் பதிலளிக்கின்றன. தணிக்கை கேட்கிறது: அந்தச் சீரற்ற தன்மை நல்லதா? ரசீது கேட்கிறது: என் ஆட்டம் உண்மையில் அதைப் பயன்படுத்தியதா? முதலாவது மட்டும் உள்ள அமைப்பு நிறுவலின் மீதான நிரந்தர நம்பிக்கையில் வாழ்கிறது. இரண்டாவது மட்டும் உள்ள அமைப்பு விசுவாசமாக மோசமான பகடைகளை வழங்கி அதை நிரூபிக்கவும் செய்யலாம். வலிமையான அமைப்புகள் இரு கதவுகளையும் மூடுகின்றன.
பொதுவான சரிபார்ப்பு ஏன் முக்கியம்?
ஏனெனில் யாரும் படிக்க முடியாத ரசீது யாரையும் காப்பாற்றாது. சில விளையாட்டுகள் உறுதிமொழிகளை வெளியிடுகின்றன, ஆனால் அவற்றைச் சோதிக்க வீரர்களுக்கு நடைமுறை வழி தருவதில்லை, அல்லது கேள்விக்குரிய அதே செயலிக்குள்ளேயே சரிபார்ப்பை மறைத்து வைக்கின்றன. அப்போது எந்த வட்டமும் முழுமையாகாது. ஓர் அமைப்புக்கு உத்தரவாதம் தரக்கூடிய ஒரே கருவி அந்த அமைப்புக்கே சொந்தமானது என்றால், நீங்கள் மீண்டும் நம்பிக்கைக்கே திரும்பிவிட்டீர்கள், இப்போது கூடுதல் படிகளுடன்.
வலிமையான அமைப்புகள் மூன்றை வெளியிடுகின்றன. உறுதிமொழி, ஆட்டத்திற்கு முன். விதை, ஆட்டத்திற்குப் பின். மற்றும் செயலிக்கு வெளியே இயங்கும், சுயாதீனமான, பொதுவான மீள்கணக்கீட்டு வழி. அதனால்தான் Orion இன் சரிபார்ப்பு உலாவியிலேயே வாழ்கிறது, orion.arthea.ai/verify இல்: கணக்கு இல்லை, நிறுவல் இல்லை, இந்தச் சோதனையில் எங்கள் சொல் இடம்பெறவில்லை.