Verifiable computing
சரிபார்க்கக்கூடிய கம்ப்யூட்டிங் (அல்லது சரிபார்க்கப்பட்ட கணக்கீடு அல்லது சரிபார்க்கப்பட்ட கம்ப்யூட்டிங்) ஒரு கணினிக்கு சில செயல்பாட்டின் கணக்கீட்டை மற்ற நம்பத்தகாத வாடிக்கையாளர்களுக்கு ஏற்றுவதற்கு உதவுகிறது, அதே நேரத்தில் சரிபார்க்கக்கூடிய முடிவுகளை பராமரிக்கிறது. மற்ற வாடிக்கையாளர்கள் செயல்பாட்டை மதிப்பீடு செய்து, செயல்பாட்டின் கணக்கீடு சரியாக மேற்கொள்ளப்பட்டது என்பதற்கான ஆதாரத்துடன் முடிவைத் திருப்பித் தருகிறார்கள். SETI@home போன்ற திட்டங்களில் நம்பத்தகாத பயனர்களுக்கு "அவுட்சோர்சிங்" கணக்கீட்டின் பெருகிய முறையில் பொதுவான நிகழ்வின் விளைவாக இந்த கருத்தின் அறிமுகம் வந்தது, மேலும் கிளவுட் கம்ப்யூட்டிங் போன்ற மிகவும் சக்திவாய்ந்த கணக்கீட்டு சேவைக்கு கணக்கீட்டு பணிகளை அவுட்சோர்ஸ் செய்ய பலவீனமான வாடிக்கையாளர்களின் வளர்ந்து வரும் விருப்பத்தின் விளைவாகும். இந்த கருத்து பாபாய் மற்றும் பலர் பணியாற்றியதிலிருந்து தொடங்குகிறது, மேலும் "கணக்கீடுகளைச் சரிபார்ப்பது" (பாபாய் மற்றும் பலர்) உட்பட பல்வேறு சொற்களின் கீழ் ஆய்வு செய்யப்பட்டுள்ளது. ), "பிரதிநிதித்துவக் கணக்கீடுகள்", "சான்றளிக்கப்பட்ட கணக்கீடு" மற்றும் சரிபார்க்கக்கூடிய கணக்கீடு. சரிபார்க்கக்கூடிய கம்ப்யூட்டிங் என்ற சொல் ரொசாரியோ ஜென்னாரோ, கிரெய்க் ஜென்ட்ரி மற்றும் பிரையன் பார்னோ ஆகியோரால் முறைப்படுத்தப்பட்டது, மேலும் மிகாலியின் "சான்றளிக்கப்பட்ட கணக்கீட்டை" எதிரொலிக்கிறது. உந்துதல் மற்றும் கண்ணோட்டம் ஒப்பீட்டளவில் பலவீனமான கணக்கீட்டு சாதனத்திலிருந்து (கிளையன்ட்) அதிக சக்திவாய்ந்த கணக்கீட்டு சேவைகளுக்கு (தொழிலாளி) கணக்கீட்டு பணிகளை அவுட்சோர்ஸ் செய்வதற்கான வளர்ந்து வரும் விருப்பம் மற்றும் உண்மையான வேலையைச் செய்யாமல் நம்பத்தகுந்த முடிவுகளைத் தெரிவிக்க தங்கள் வாடிக்கையாளரின் மென்பொருளை மாற்றியமைக்கும் நேர்மையற்ற தொழிலாளர்களின் சிக்கல் சரிபார்க்கக்கூடிய கணக்கீட்டு கருத்தை முறைப்படுத்த தூண்டியது. சரிபார்க்கக்கூடிய கம்ப்யூட்டிங் என்பது வாடிக்கையாளரின் உள்ளீடு மற்றும் அதன் சரியான தன்மைக்கான ஆதாரத்தின் மீது அவுட்சோர்ஸ் செய்யப்பட்ட செயல்பாட்டின் முடிவைப் பெறுவதில் மட்டுமல்லாமல், வாடிக்கையாளர் புதிதாக செயல்பாட்டைக் கணக்கிடுவதை விட கணிசமாக குறைந்த கணக்கீட்டு முயற்சியுடன் ஆதாரத்தை சரிபார்க்க முடியும். பாதுகாப்பான இணை செயலிகளின் பயன்பாடு, நம்பகமான இயங்குதள தொகுதிகள் (டி. பி. எம்), ஊடாடும் சான்றுகள், நிகழ்தகவு ரீதியாக சரிபார்க்கக்கூடிய சான்றுகள், திறமையான வாதங்கள் மற்றும் மிகாலியின் சிஎஸ் சான்றுகள் உள்ளிட்ட நம்பத்தகாத தொழிலாளர்களால் நிகழ்த்தப்படும் செயல்பாடுகளின் கணக்கீட்டை சரிபார்க்க கணிசமான கவனம் செலுத்தப்பட்டுள்ளது. இந்த சரிபார்ப்புகள் ஒன்றுடன் ஒன்று தொடர்புபடுத்தப்படுகின்றன, அவை சரியான ஆதாரத்தை சரிபார்க்க வாடிக்கையாளருடன் தொடர்பு கொள்ள வேண்டும், அல்லது சீரற்ற ஆரக்கிள் மாதிரியில் நிரூபிக்கக்கூடிய ஊடாடும் நெறிமுறைகள் அல்ல. ரெப்ளிகேஷன் மூலம் சரிபார்ப்பு மிகப்பெரிய சரிபார்க்கப்பட்ட கணக்கீடு (SETI@home) ரெப்ளிகேஷன் மூலம் சரிபார்ப்பைப் பயன்படுத்துகிறது. SETI@home சரிபார்ப்பு செயல்முறை ஒரு கிளையன்ட் இயந்திரம் மற்றும் பல பணியாளர் இயந்திரங்களை உள்ளடக்கியது. கிளையன்ட் இயந்திரம் ஒரே மாதிரியான பணி அலகுகளை பல கணினிகளுக்கு அனுப்புகிறது (குறைந்தது 2). இயந்திரங்கள் தற்செயலாக முடக்கப்பட்டதால், தகவல்தொடர்பு முறிவுகள் போன்ற காரணங்களால் நியாயமான நேரத்தில் போதுமான முடிவுகள் திருப்பித் தரப்படாதபோது அல்லது கணக்கீட்டு பிழைகள், உண்மையில் வேலை செய்யாமல் தவறான தரவைச் சமர்ப்பிப்பதன் மூலம் ஏமாற்றுதல் போன்ற காரணங்களால் முடிவுகள் உடன்படவில்லை என்றால், கிளையன்ட் இயந்திரம் மற்ற தொழிலாளர் இயந்திரங்களுக்கு மிகவும் ஒத்த பணி அலகுகளை அனுப்புகிறது. முடிவுகளில் குறைந்தபட்ச கோரம் (பெரும்பாலும் 2) ஒப்புக் கொண்டவுடன், வாடிக்கையாளர் அந்த முடிவுகள் (மற்றும் அந்த பணிக்குழுவிற்கான பிற ஒத்த முடிவுகள்) சரியானவை என்று கருதுகிறார். சரியான முடிவுகளைத் தந்த அனைத்து இயந்திரங்களுக்கும் வாடிக்கையாளர் கடன் வழங்குகிறார். சரிபார்க்கக்கூடிய கணக்கீடு ஜென்னாரோ மற்றும் பலர். சரிபார்க்கக்கூடிய கணக்கீட்டு திட்டத்தின் கருத்தை இரண்டு பல்லுறுப்புக்கோவை நேரக் கட்சிகளுக்கு இடையிலான ஒரு நெறிமுறையாக வரையறுத்தார், இது ஒரு செயல்பாட்டின் கணக்கீட்டில் ஒத்துழைக்க F: {0,1} n → {0,1} m. இந்த திட்டம் மூன்று முக்கிய கட்டங்களைக் கொண்டுள்ளதுஃ முன் செயலாக்கம். எஃப் உடன் தொடர்புடைய சில துணைத் தகவல்களைக் கணக்கிடுவதற்காக வாடிக்கையாளரால் இந்த கட்டம் ஒரு முறை செய்யப்படுகிறது. இந்தத் தகவலின் ஒரு பகுதி தொழிலாளருடன் பகிரப்படுவதற்கு பொதுவில் உள்ளது, மீதமுள்ளவை தனிப்பட்டவை மற்றும் வாடிக்கையாளருடன் வைக்கப்படுகின்றன. உள்ளீடு தயாரிப்பு. இந்த கட்டத்தில், கிளையன்ட் செயல்பாட்டின் உள்ளீடு பற்றிய சில துணை தகவல்களைக் கணக்கிடுகிறார். இந்தத் தகவலின் ஒரு பகுதி பொதுவெளியில் இருக்கும், மீதமுள்ளவை தனிப்பட்டவை மற்றும் வாடிக்கையாளரிடம் வைக்கப்படும். உள்ளீட்டு தரவுகளில் F ஐக் கணக்கிட பொதுத் தகவல் தொழிலாளிக்கு அனுப்பப்படுகிறது. வெளியீட்டு கணக்கீடு மற்றும் சரிபார்ப்பு. இந்த கட்டத்தில், வழங்கப்பட்ட உள்ளீட்டில் எஃப் செயல்பாட்டின் குறியிடப்பட்ட வெளியீட்டைக் கணக்கிட, முந்தைய இரண்டு கட்டங்களில் கணக்கிடப்பட்ட எஃப் செயல்பாடு மற்றும் உள்ளீட்டுடன் தொடர்புடைய பொதுத் தகவல்களை தொழிலாளி பயன்படுத்துகிறார். முந்தைய கட்டங்களில் கணக்கிடப்பட்ட தனிப்பட்ட தகவல்களைப் பயன்படுத்தி தொழிலாளி அளித்த முடிவை டிகோட் செய்வதன் மூலம் வெளியீட்டின் உண்மையான மதிப்பைக் கணக்கிடுவதன் மூலம் அதன் சரியான தன்மையை சரிபார்க்க இந்த முடிவு வாடிக்கையாளருக்குத் திருப்பித் தரப்படுகிறது. சரிபார்க்கக்கூடிய கணக்கீட்டு திட்டத்தின் வரையறுக்கப்பட்ட கருத்து வாடிக்கையாளருக்கும் தொழிலாளிக்கும் இடையிலான தொடர்புகளை சரியாக இரண்டு செய்திகளாக குறைக்கிறது, அங்கு நெறிமுறையின் வெவ்வேறு கட்டங்களில் ஒவ்வொரு தரப்பினரிடமிருந்தும் மற்ற தரப்பினருக்கு அனுப்பப்படும் ஒரு செய்தி. முழு ஹோமோமார்பிக் குறியாக்கத்தை அடிப்படையாகக் கொண்ட ஒரு எடுத்துக்காட்டு திட்டம் ஜென்னாரோ மற்றும் பலர். யாவோவின் சிதைந்த சுற்றுவட்டத்தைப் பயன்படுத்தி எந்தவொரு செயல்பாட்டிற்கும் ஒரு சரிபார்க்கக்கூடிய கணக்கீட்டு திட்டத்தை வரையறுத்தது, இது ஒரு முழுமையான ஹோமோமார்பிக் குறியாக்க அமைப்புடன் இணைக்கப்பட்டுள்ளது. இந்த சரிபார்க்கக்கூடிய கணக்கீட்டுத் திட்டம் VC பின்வருமாறு வரையறுக்கப்படுகிறதுஃ VC = (கீஜென், புரோப்ஜென், கம்ப்யூட், வெரிஃபை) பின்வரும் நான்கு வழிமுறைகளைக் கொண்டுள்ளதுஃ கீஜென் (F, λ) → (பிகே, எஸ்கே): சீரற்ற விசை தலைமுறை வழிமுறை பாதுகாப்பு அளவுருவின் அடிப்படையில் பொது மற்றும் தனியார் என இரண்டு விசைகளை உருவாக்குகிறது. பொது விசை இலக்கு செயல்பாட்டை குறியாக்கம் செய்கிறது மற்றும் எஃப் கணக்கிட தொழிலாளிக்கு அனுப்பப்படுகிறது. மறுபுறம், ரகசிய விசை வாடிக்கையாளரால் தனிப்பட்ட முறையில் வைக்கப்படுகிறது. ProbGen (SK, x) → (σx, τx): சிக்கல் உருவாக்கம் வழிமுறை செயல்பாட்டு உள்ளீடு x ஐ இரண்டு மதிப்புகளாக குறியாக்கம் செய்கிறது, பொது மற்றும் தனியார், ரகசிய விசை SK ஐப் பயன்படுத்துகிறது. F (x) ஐ கணக்கிட தொழிலாளிக்கு பொது மதிப்பு σx வழங்கப்படுகிறது, அதே நேரத்தில் ரகசிய மதிப்பு τx வாடிக்கையாளரால் தனிப்பட்ட முறையில் வைக்கப்படுகிறது. கம்ப்யூட் (பிகே, σx) → σy: கிளையண்ட்டின் பொது விசை பிகே மற்றும் குறியிடப்பட்ட உள்ளீடு σx ஐப் பயன்படுத்தி செயல்பாட்டின் வெளியீட்டின் குறியிடப்பட்ட மதிப்பு σy ஐ தொழிலாளி கணக்கிடுகிறார். சரிபார்ப்பு வழிமுறை தொழிலாளியின் குறியிடப்பட்ட வெளியீடு σy ஐ F செயல்பாட்டின் உண்மையான வெளியீடாக ரகசிய விசை SK மற்றும் ரகசிய "டிகோடிங்" τx ஆகிய இரண்டையும் பயன்படுத்தி மாற்றுகிறது. σy என்பது x இல் F இன் செல்லுபடியாகும் வெளியீட்டைக் குறிக்கிறது அல்லது இல்லையெனில் வெளியீடு செய்தால் இது y = F (x) ஐ வெளியிடுகிறது. ஜென்னாரோ மற்றும் பலர் வரையறுத்த சரிபார்க்கக்கூடிய கணக்கீட்டு திட்டத்தின் நெறிமுறை. பின்வருமாறு செயல்படுகிறதுஃ F செயல்பாடு ஒரு பூலியன் சுற்றாக குறிப்பிடப்பட வேண்டும், அதில் முக்கிய தலைமுறை வழிமுறை பயன்படுத்தப்படும். முக்கிய தலைமுறை வழிமுறை பொது மற்றும் ரகசிய விசைகளை கணக்கிட இந்த பூலியன் சுற்றுவட்டத்தின் மீது யாவோவின் கெர்பிளிங் செயல்முறையை இயக்குகிறது. பொது விசை (பி. கே) சிதைந்த சுற்றுவட்டத்தைக் குறிக்கும் அனைத்து மறைக்குறியீடுகளாலும் ஆனது, மேலும் ரகசிய விசை (எஸ். கே) அனைத்து சீரற்ற கம்பி லேபிள்களாலும் ஆனது. உருவாக்கப்பட்ட ரகசிய விசை பின்னர் சிக்கல் தலைமுறை வழிமுறையில் பயன்படுத்தப்படுகிறது. இந்த வழிமுறை முதலில் ஹோமோமார்பிக் குறியாக்க திட்டத்திற்கான ஒரு புதிய ஜோடி பொது மற்றும் ரகசிய விசைகளை உருவாக்குகிறது, பின்னர் இந்த விசைகளை ஹோமோமார்பிக் திட்டத்துடன் பயன்படுத்தி சரியான உள்ளீட்டு கம்பிகளை குறியாக்கம் செய்கிறது, இது சிதைந்த சுற்றுகளின் ரகசிய விசையாக குறிப்பிடப்படுகிறது. உற்பத்தி செய்யப்பட்ட மறைக்குறியீடுகள் தொழிலாளிக்கு வழங்கப்படும் உள்ளீட்டின் (σx) பொது குறியீட்டைக் குறிக்கின்றன, அதே நேரத்தில் ரகசிய விசை (τx) வாடிக்கையாளரால் தனிப்பட்ட முறையில் வைக்கப்படுகிறது. அதன்பிறகு, சிக்கல் உருவாக்கும் வழிமுறையால் உருவாக்கப்பட்ட மறைக்குறியீடுகள் மீது யாவோவின் நெறிமுறையின் கணக்கீட்டு படிகளை தொழிலாளி பயன்படுத்துகிறார். இறுதி வெளியீட்டு கம்பி மதிப்புகளுக்கு (σy) வரும் வரை கேட் சைஃபெர்டெக்ஸ்ட்களை மீண்டும் மீண்டும் டிக்ரிப்ட் செய்வதன் மூலம் இது செய்யப்படுகிறது. குறியாக்க திட்டத்தின் ஒரே மாதிரியான பண்புகள் சரியான வெளியீட்டு கம்பியின் குறியாக்கத்தைப் பெற தொழிலாளிக்கு உதவுகின்றன. இறுதியாக, தொழிலாளி வெளியீட்டின் மறைக்குறியீட்டை வாடிக்கையாளருக்குத் திருப்பித் தருகிறார், அவர் உண்மையான வெளியீட்டைக் கணக்கிட அவற்றை மறைகுறியாக்குகிறார் y = F (x) அல்லது D. சரிபார்க்கக்கூடிய கணக்கீட்டு திட்டத்தின் வரையறை, திட்டம் சரியானதாகவும் பாதுகாப்பானதாகவும் இருக்க வேண்டும் என்று கூறுகிறது. சிக்கல் உருவாக்கும் வழிமுறை ஒரு நேர்மையான தொழிலாளிக்கு குறியிடப்பட்ட வெளியீட்டு மதிப்புகளைக் கணக்கிட உதவும் மதிப்புகளை உருவாக்கினால், அது வெற்றிகரமாக சரிபார்க்கப்படும் மற்றும் அந்த உள்ளீடுகளில் F இன் மதிப்பீட்டிற்கு ஒத்திருக்கும். மறுபுறம், கொடுக்கப்பட்ட செயல்பாடு F மற்றும் உள்ளீடு x க்கு தவறான வெளியீட்டை ஏற்க ஒரு தீங்கிழைக்கும் தொழிலாளி சரிபார்ப்பு வழிமுறையை நம்ப வைக்க முடியாவிட்டால் சரிபார்க்கக்கூடிய கணக்கீட்டு திட்டம் பாதுகாப்பானது. நடைமுறை சரிபார்க்கக்கூடிய கம்ப்யூட்டிங் கோட்பாட்டில் சரிபார்க்கக்கூடிய கம்ப்யூட்டிங் சாத்தியம் என்று காட்டப்பட்டாலும் (முழு ஹோமோமார்பிக் குறியாக்கத்தைப் பயன்படுத்தி அல்லது நிகழ்தகவு ரீதியாக சரிபார்க்கக்கூடிய சான்றுகள் வழியாக), அறியப்பட்ட பெரும்பாலான கட்டுமானங்கள் நடைமுறையில் மிகவும் விலை உயர்ந்தவை. சமீபத்தில், சில ஆராய்ச்சியாளர்கள் சரிபார்க்கக்கூடிய கணக்கீட்டை நடைமுறைப்படுத்துவதைப் பார்த்துள்ளனர். அத்தகைய ஒரு முயற்சி யுடி ஆஸ்டின் ஆராய்ச்சியாளர்களின் பணியாகும். சாத்தியமான முறையில் சரிபார்க்கக்கூடிய ஆதாரங்களை அடிப்படையாகக் கொண்ட ஒரு வாத அமைப்புடன் ஆசிரியர்கள் தொடங்குகிறார்கள் மற்றும் அதன் செலவுகளை 1020 என்ற காரணியால் குறைக்கின்றனர். அவர்கள் தங்கள் நுட்பங்களை மிளகு முறையிலும் செயல்படுத்தினர். "பாதுகாப்பான அமைப்புகளை உருவாக்குவதற்கான ஒரு கருவியாக, பி. சி. பி. க்கள் மற்றும் வாத அமைப்புகள் ஒரு இழந்த காரணம் அல்ல என்பது இதுவரை எங்கள் முடிவு" என்று ஆசிரியர்கள் குறிப்பிடுகின்றனர். இப்போது பல்வேறு குழுக்களால் பல செயல்பாடுகளை உள்ளடக்கிய ஒட்டுமொத்த பகுதி கணக்கெடுக்கப்பட்டுள்ளது. 2010 களில், சரிபார்க்கக்கூடிய கம்ப்யூட்டிங் நுட்பங்கள் பிளாக்செயின் தொழில்நுட்பத்தில் நடைமுறை பயன்பாடுகளின் அதிகரிப்பைக் கண்டுள்ளன. குறிப்புகள் பாதுகாப்பான தகவல்தொடர்பு விநியோகிக்கப்பட்ட கணினி