Ինչու է թուղթը վստահելի հաշվարկի հենարանը
Հարցրեք անվտանգության փորձագետին, թե ընտրությունը վստահելի դարձնելու համար որն է ամենակարևոր միակ բանը, և պատասխանը սովորաբար մեկ բառ է՝ թուղթ։ Ոչ թե այն պատճառով, որ թուղթը հնացած կամ նոստալգիկ է, այլ որովհետև դա համակարգի այն միակ մասն է, որը հաքերը կամ ծրագրային սխալը չեն կարող աննկատ վերաշարադրել։ Մնացած բոլոր երաշխիքները՝ աուդիտները, վերահաշվարկները, դատական վիճարկումները, ի վերջո հիմնվում են այն բանի վրա, որ գոյություն ունեն ստուգման ենթակա ֆիզիկական գրառումներ։
Տրամաբանությունը պարզ է։ Համակարգչային հաշվարկը, ինքնին, ձեզանից պահանջում է վստահել համակարգչին։ Թղթային գրառումը վստահությունը վերածում է ստուգման. քանի որ թուղթը գոյություն ունի մեքենաներից դուրս, մեքենաները կարելի է համեմատել դրա հետ։ Հեռացրեք թուղթը, և բոլոր հաջորդական երաշխիքները կորցնում են իրենց հիմքը, որովհետև այլևս չկա անկախ բան, որի հետ կարելի է համեմատել էլեկտրոնային արդյունքը։
Սա նույն սկզբունքն է, որը անցնում է ինչպես են հաշվվում քվեները նյութով. անվտանգությունը գալիս է այն շերտերից, որոնք կարելի է ստուգել, և թուղթը այն շերտն է, որի վրա հիմնված է մնացած ամեն ինչ։
Թղթի երկու տեսակ
«Թղթային հետք» հասկացությունը ներառում է երկու փոխկապակցված, բայց տարբեր բաներ, և այդ տարբերությունը կարևոր է։
| Տեսակ | Ինչպես է գրանցվում քվեն | Ստուգման հարցը |
|---|---|---|
| Ձեռքով նշված թղթային քվեաթերթիկ | Քվեարկողը թուղթը նշում է անմիջապես | Սկաները ճիշտ կարդացե՞լ է նշումները։ |
| Քվեաթերթիկ նշող սարք (BMD)՝ տպագրությամբ | Մեքենան տպում է քվեարկողի ընտրությունները թղթի վրա | Քվեարկողը ստուգե՞լ է, որ տպագրությունը համապատասխանում է իր մտադրությանը։ |
Երկուսն էլ կարող են ապահովել ամուր թղթային հետք — բայց միայն այն դեպքում, եթե թուղթը քվեարկողի կողմից ստուգված է։ Այդ արտահայտությունն է առանցքայինը։ Քվեարկողի աչքով անցած, կամ երբեք չտեսած տպագրությունը իրականում ստուգված չէ. էկրանի և թղթի միջև եղած սխալը կամ մանիպուլյացիան կարող է աննկատ անցնել։ Երաշխիքը գործում է միայն այն դեպքում, եթե մարդը հաստատել է, որ թուղթը արտացոլում է իր ընտրությունը։
Ծրագրային անկախություն
Այս սկզբունքի պաշտոնական անվանումը ծրագրային անկախություն է. քվեարկության ծրագրային ապահովման մեջ չբացահայտված սխալը կամ խափանումը չպետք է կարողանա առաջացնել ընտրության արդյունքի չբացահայտվող փոփոխություն։ Թուղթն է, որ դա ապահովում է։ Եթե ծրագրային ապահովումը սխալ հաշվարկի՝ սխալի կամ հարձակման պատճառով, թղթային գրառումը կարելի է ձեռքով հաշվարկել, և անհամապատասխանությունը կբացահայտվի։
Սա վերաձևակերպում է ամբողջ «իսկ եթե մեքենաները կոտրվե՞լ են» վախը։ Թղթազուրկ համակարգում այդ հարցին պատասխանել հնարավոր չէ, և հենց դա է քայքայում վստահությունը։ Թղթային համակարգում այն ունի կոնկրետ պատասխան՝ հաշվեք թուղթը։ Փորձագիտական կոնսենսուսը, ներառյալ ԱՄՆ National Academies-ի նշանավոր վերանայումը, հետևաբար հստակ է՝ օգտագործեք մարդու համար ընթեռնելի թղթային քվեաթերթիկներ և աստիճանաբար հրաժարվեք թղթազուրկ մեքենաներից։
Ինչ է հնարավորություն տալիս թղթային հետքը
Թուղթը ինքնին երաշխիքը չէ. այն է, ինչը հնարավոր է դարձնում երաշխիքները։ Այն ապահովում է հիմքը հետևյալի համար՝
- Վերահաշվարկներ — ֆիզիկական քվեաթերթիկների կրկնակի հաշվարկը, երբ տարբերությունը փոքր է կամ արդյունքը վիճարկվում է։
- Աուդիտներ — թղթի նմուշի ձեռքով համեմատումը հաղորդված ընդհանուրների հետ՝ արդյունքը հաստատելու համար։
- Պահպանման շղթայի ստուգումներ — թղթային քվեաթերթիկների քանակի համադրումը գրանցված քվեարկողների թվի հետ։
Սրանցից ոչ մեկը հնարավոր չէ առանց վստահելի ֆիզիկական գրառման։ Թուղթը այն հումքն է, որից պատրաստվում է յուրաքանչյուր ստուգում։
Երբ թուղթ չկա
Թղթային հետքի արժեքն առավել պարզ է այնտեղ, որտեղ այն բացակայում է։ Երկու դեպք ցույց են տալիս, թե ինչպես է դա տեղի ունենում։
- Թղթազուրկ մեքենաներ։ Երբ քվեները տրվում են զուտ էլեկտրոնային համակարգերով, որոնք չեն պահպանում թղթային գրառում, վիճարկվող արդյունքը չի կարող անկախ կերպով ստուգվել ընդհանրապես — պարզապես չկա ոչինչ վերահաշվելու համար։ Ահա թե ինչու ժողովրդավարություններում միտումը նման համակարգերից հրաժարվելն է։
- Թաքցված գրառումներ։ Թուղթը (կամ դրա համարժեքը) կարող է գոյություն ունենալ և միևնույն ժամանակ թաքցված լինել։ Բելառուսում 2020 թվականին իշխանությունները չհրապարակեցին տեղամասային պրոտոկոլներ, ուստի պաշտոնական արդյունքը չէր կարող ստուգվել հիմքում ընկած գրառումների հետ համեմատությամբ։ Թղթային հետքը, որը ոչ ոքի թույլ չի տրվում ստուգել, որևէ երաշխիք չի տալիս։
Թղթային հետքը գործնականում
Դրական օրինակը նույնքան կոնկրետ է։ 2020 թվականի արդյունքից հետո Վրաստանում պաշտոնյաները անցկացրին յուրաքանչյուր թղթային քվեաթերթիկի ամբողջական ձեռքով հաշվարկ։ Քանի որ յուրաքանչյուր քվեի համար գոյություն ուներ քվեարկողի կողմից ստուգված թղթային գրառում, ձեռքով հաշվարկը կարելի էր ուղղակիորեն համեմատել մեքենայական ընդհանուրի հետ — և այն համընկավ սովորական մարդկային սխալի սահմաններում։ Թղթային հետքը պայթյունավտանգ «մեքենաները կոտրվել էին» պնդումը վերածեց ստուգելի, և ի վերջո հանգստացնող, հարցի պատասխանով։
Ահա թե որն է թուղթը պահելու ամբողջ իմաստը։ Այն չի ենթադրում, որ մեքենաները վստահելի են կամ ոչ վստահելի — այն դարձնում է պատասխանը ստուգելի ցանկացած դեպքում։ Եվ այն գործիքը, որը կատարում է այդ ստուգումը՝ արդյունավետ և մասշտաբային կերպով, ընտրական աուդիտն է։