← Всички статии

Върховният съд отмени президентските избори, защото никой не можеше да провери числата

Върховният съд на Кения не просто отмени избори — той постанови, че резултат, който никой не може независимо да проследи от избирателната секция до национално съставяне, не е резултат.

Е сутринта на 1 септември 2017 г., а Върховният съд на Кения току-що направи нещо, което никой съд в африканската история не е направил преди: отмени президентските избори.

Не поради преврат. Не поради насилие в избирателните секции. Защото числата не можеха да бъдат проследени.

Раила Одинга загуби на действащия президент Уру Кенята с маржа от приблизително 1,4 милиона гласа — разлика, достатъчна, може да си помислите, да говори сама за себе си. Но съдът не се съгласи. С мнозинство от 4 към 2 той отмени резултата напълно и нареди нови избори в рамките на шестдесет дни. Пълните причини, издадени на 20 септември 2017 г., си струва да прочетем внимателно. Съдът постанови, че Независимата избирателна и гранична комисия не е отговорила на конституционното изискване гласуването да бъде просто, точно, проверяемо, сигурно, отговорно и прозрачно. Не едно от тези думи — всяка една от тях.

Маржата не беше точката. Верижката беше.

Верижката, която се счупи

Кенийската система беше на хартия модел на съвременното избирателното администриране. Всяка от приблизително 40 000 избирателни секции на страната трябваше да попълни формуляр 34А — защитен от подмяна резултатен лист със съставянето на тази секция. Този формуляр трябваше да бъде електронно и едновременно предаден в национално съставящия център, а физическо копие трябваше да пътува нагоре през окръжни и окръжни нива по формулярите 34B и 34C.

Идеята беше елегантна: всяко число на върха трябва да бъде възстановимо от числата на дъното. Всеки гражданин с достъп до сурови формулярите би могъл в принцип да ги събере и независимо да провери националния общ брой.

Но съдът установи, че не всички формулярите 34А са били предадени както се изисква по закон. Установи, че резултатните формулярите липсват последователни защитни характеристики. Окончателният формуляр за съставяне — документът, който обявява кой ще бъде президент — нямаше водяния знак и номер на серията. А председателят на IEBC обяви Кенята за победител преди всички основни формулярите да бяха дошли.

Помислете какво това означава физически. Някъде в Найроби официално лице стоя пред камерите и обяви победителя на президентските избори, докато стека формулярите — точно доказателството, на което се опираше това обявление — все още бе в пътя. Върхът на верижката беше обявен преди дъното й да бъде събрано.

То не е брой. То е твърдение.

Защо маржата не го спаси

Най-честото възражение, което ще чуете срещу кенийското решение, е: 1,4 милиона гласа. Ако измамата или грешката, необходими за обръщане на избора, биха изисквали фалшифициране на повече от един милион гласа, не е ли резултатът очевидно правилен независимо от документите?

Това е грешният въпрос. Това е въпросът на човек, който верва на числото. Съдът постави различен въпрос: как знаем какво е числото?

Избирателният резултат не се самоудостоверява. Обявеното общо число е толкова надежно, колкото процесът, който го е произвел. Ако формулярите 34А не са всички предадени, ако защитните характеристики са непоследователни, ако окончателният формуляр за съставяне нямаше номер на серията — то обявеното число не е проверена сума. То е цифра, която се появи от непрозрачен процес и беше обявена за правилна от органа, чиято задача беше да обявява неща за правилни.

Това е различието, което разделя надеждни избори от доверчиви. Надежднире избори ви позволяват да проверите. Доверчивите ви молят да повярвате.

Кенийския съд не обвиняваше IEBC в измама. Той казваше нещо по-фундаментално: процесът не беше проектиран така, че измамата да беше невъзможно да се скрие. И избори, които не могат да докажат отсъствието на измама, не са в никакъв смисъл доказани.

Това не е само африканска история

Судове в други демокрации стигнаха до същото заключение по различен път, и си струва да бъдем точни относно това, което ги свързва — защото връзката не е за корупция, или развиващи се демокрации, или някоя от удобните отдалечавания, към които прибягваме, когато история като кенийската ни прави неудобни.

През 2009 г. Федералният конституционен съд на Германия отмени използването на електронни избирателни машини на изборите за Бундестаг през 2005 г. Машините съхранихаха гласове в електронна памет без независим запис, който гласоподавателят можеше да провери. Съдът постанови, че съществените стъпки на гласуване и определяне на резултата трябва да бъдат проверяеми от гражданина надежно и без специално познание. Не от експерти. Не от държавата. От гражданина. Машините не успяха на този тест, и разпоредбата, позволяваща им, беше обявена за противоконституционна.

През 2016 г. Конституционният съд на Австрия отмени президентския второ турне — един с маржа от приблизително 30 000 гласа — не защото беше намерена измама, а защото правилата, управляващи кой би могъл да се справя с пощенски гласове и кога, бяха нарушени в достатъчно места, че приблизително 77 000 гласа бяха засегнати. Съдът направи своето разсъждение изричито: защитите срещу манипулация бяха нарушени в числа, способни да повлияят на резултата. Не че манипулация се е случила. Че не може да бъде исключена.

Същата логика. Различни страни. Различни технологии. Същото фундаментално изискване: резултат, който никой не може независимо да провери, не е резултат, на който можете да се доверите.

В Малави през 2020 г. судовете отмениха президентските избори, след като официални съставни листове бяха намерени да са разправени с коректна течност — белина, приложена към цифрите на документи, които трябваше да бъдат защитени от подмяна. Ако началните документи могат тихо да бъдат преписани, няма начало. Обявеното число става каквото последния човек с бутилка Tipp-Ex реши.

Какво наистина изисква "проверяемо"

Тези случаи, прочетени заедно, очертават точно технически изискване, което е лесно да се посочи и трудно да се изпълни.

Проверяемостта означава три неща едновременно:

Първо, всеки гласуване трябва да произведе трайно, защитено от подмяна записване в точката, където е даден — формуляр 34А, хартиен бюлетин, запечатана кутия със верига на съхранението.

Второ, този запис трябва да бъде предаден или предаден на следното ниво на агрегиране по начин, който е независимо проверяем — електронно и едновременно, с последователни защитни характеристики, не в процес, който може да бъде прекъснат или изменен между избирателната секция и съставящия център.

Трето, окончателното число трябва да бъде възстановимо от началните записи от всеки — не от избирателния орган, не от наемнат одит, а от всеки човек с време и данни.

Кенийската система имаше концепцията правилна. Той изисква формулярите 34А да бъдат електронно и едновременно предадени точно така, че публиката да може да провери аритметиката. Това, което й липсваше, беше принудителното изпълнение на това изискване, и — критично — техническа архитектура, която направи несъответствието видимо в реално време вместо открито в съда седмици по-късно.

Тази пропаст е историята.

Пропастта между дизайн и проверка

Ето по-трудната версия на този аргумент, тази, която надвишава Кения.

Система за предаване на резултатите, която работи правилно, произвежда числа, които всеки може да провери. Система за предаване на резултатите, която се провалява мълчаливо — или която може да бъде заобиколена от официално лице, което обявява победителя преди всички формулярите да пристигнат — произвежда числа, които изглеждат идентични, но не са проверяеми.

Отвън не можете да разберете в кое от двете се намирате.

Това е защото "избирателния орган казва, че резултатите са правилни" не може да бъде край на анализа. IEBC каза, че резултатите са правилни. Кенийския Върховен съд установи, че не може да провери това твърдение от основните документи. Не защото намери измама — съдът не намери измама. Защото документите, които трябваше да направят твърдението проверяемо, липсваха, бяха непоследователни, или пристигнаха след факта.

Същата логика се прилага всеки път, когато официално лице или пресрелиз ви казват, че одит потвърди резултата. Одит, който проверява верижка на предаване, която е била вече счупена, не е одит на избора — то е преглед на каквото е направило пътя до съставящия център. Дали то е всички гласове, или повечето от тях, или курирана селекция, е точно това, което верижката на съхранението трябва да докаже.

Бразилия предлага контра, струваща си внимание: нейния избирателен орган управлява годишния публичен състезателен тест на своите избирателни машини, приканвайки всеки квалифициран гражданин да опита да счупи системата преди реалните гласове да са в риск. То не е пресрелиз. То е структурно задължение към преглед от външни лица. Пропастта между този подход и "ние обявяваме резултатите сертифицирани" е пропастта между проверяемост и доверие.

Какво би направило резултата на Кения проверяем

Дизайна на кенийската система не беше грешен. Конституционното изискване — едновременно електронно предаване на формулярите 34А от всяка избирателна секция — беше точно правилната идея. Това, което липсваше, беше публичната принудителност на това изискване.

Представете си вместо това система, където всеки формуляр 34А, в момента, когато е подписан и сканиран в избирателна секция, е публикуван в публичен, добавящ се само дневник — с отметка за време, криптографско хеширане, и достъпен за изтегляне. Всеки агент на кандидата, всеки журналист, всеки гласоподавател с лаптоп може да събира тези формулярите непрекъснато докато пристигат. В момента, публикуваното национално число се различава от сумата на публикуваните формулярите, несъответствието е видимо на всеки едновременно.

В тази архитектура, председателят не може да обявява победител преди всички формулярите да пристигнат — защото обявлението и основното доказателство са и двете публични и едното е доказуемо непоследователно с другото. Проблемът, който кенийския съд трябваше да възстанови след седмици литигиране, би бил видим в реално време на всеки със електронната таблица.

Това не е фантазия. Резултатите на ниво окръг, машинночетими, вече се публикуват в реално време в редица демокрации. Собственото указание на американската комисия за избирателна помощ разумяваше официалните лица да направят резултатите изтегляеми в обичайни формати, така че те да могат независимо да се съгласуват. Архитектурата съществува. Това, което варира, е дали дадена юрисдикция се е ангажирала с това.

Извода, който никой официален не ще постави в пресрелиз

Решението на Върховния съд на Кения е в дъна му съдебна артикулация на принцип, който всяка система за избори трябва да бъде построена около още от първия ден: резултат, който никой не може независимо да провери, не е резултат — то е обявление.

Разликата между обявление и резултат е проверяемост. Не увереност на проверяемост. Не твърдяното съществуване на одитни пътна. Действителна, публична, независимо проверяема проверяемост: начални документи, които са защитени от подмяна по дизайн, предадени по начин, който направи непредаването веднага видимо, и публикувани в форма, която всеки човек може да използва за възстановяване на общото без молене за разрешение.

Двама съдии беше разлики в кенийския случай, намирайки доказателствено бремето не е отговорено. Тази разлика не е неуместна — тя ви казва как близо съдът дойде да приеме официалния резултат с вяра вместо да настоя той да бъде доказан. В различен съд, на различен ден, с различен доказателствено стандарт, същия непроверяем процес може да беше вълнован.

Това е версията на тази история, която трябва да ви държи будни. Не случаят, където съдът го хвана.

Версията, където никой го направи.

Това, което все още не е проверяемо: дали архитектура на предаване на резултатите на вашата си страна би оцеляла теста, който прилага кенийския съд. Произвежда ли всяка избирателна секция резултатния публична, с отметка за време, криптографско защитена записване в момента на съставянето й? Може ли всеки гражданин независимо да събере тези записи и възстанови националното число? Ако не можете утвърдително отговаряте на двете, архитектурата ви молита да доверите — не да проверите.

Вижте как често е тази пропаст по целия свят · Прочетете двуминутната версия · Проучете тази конкретна пропаст

Източници

Вижте всички статииРазгледай пропуските