← Всички статии10 август 2026 г.

Когато самата компания, която произвежда машините за гласуване, казва: не вярвайте на тези числа

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

Вечерта на 30 юли 2017 г. Националният избирателен съвет на Венецуела обявява, че 7,5 милиона души са гласували на изборите за Национално учредително събрание. Числото достига редакциите по целия свят. Правителства издават изявления. Опозицията го нарича фабрикувано. И тогава, два дни по-късно, се случва нещо, което почти няма прецедент в историята на изборите където и да е на земята.

Компанията, която построи машините — която написа софтуера, която управляваше серверите, която преброи всеки електронен глас — се качва на микрофон и казва: ние знаем, без никакво съмнение, че числото е грешно. Не от грешка при закръгляване. Не от няколко хиляди гласа. От поне един милион.

Тази компания беше Smartmatic.

Доставчикът се отрича от резултата

На 2 август 2017 г. Smartmatic издава публично изявление относно изборите за Учредително събрание, проведени два дни по-рано. Главният изпълнител на компанията каза, че компанията знае "без никакво съмнение", че цифрата за явяемост, обявена от Националния избирателен съвет на Венецуела, е манипулирана, и оцени разликата между действителното и обявеното участие на "поне един милион" гласа.

Прочетете това отново бавно.

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

Smartmatic беше партньор на Венецуела за автоматизирана технология за гласуване от 2004 г. Проведе избори в цялата сложна география на страната. Знаеше какво записаха машините. И това, което записаха машините, според Smartmatic, не съответстваше на това, което обяви правителството.

След това изявление Smartmatic се оттегли от последващите регионални и общински избори на Венецуела през 2017 г. и прекрати всички операции в страната през 2018 г.

Въпросът, който това изявление оставя висящ — окончателно, както се оказа — е: какво записаха машините? Защото без независим одит, никой извън правителството никога не е могъл да отговори на този въпрос.

Разликата, която не може да се затвори

Ето структурния проблем. Система за гласуване генерира записи. Тези записи се держат от това, който управлява системата. Когато тази власт обявява резултат, единствените люде, които могат да проверят дали обявлението съответства на записите, са тези, които държат записите.

В Венецуела през 2017 г. тези хора бяха правителството, което искаше цифрата 7,5 милиона да остане в сила.

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

Това е изречението, което си струва да се направи скрийншот: Резултат, който може да провери само една страна, е структурно непроверим от всички останали.

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

Защо трябва да вас интересува, дори ако не живеете в Каракас

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

Но механизмът на проблема е универсален и се появява в по-мекавни форми в избори, които никой не оспорва.

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

В окръг Sarasota, Флорида през 2006 г., приблизително 18 000 гласа просто изчезнаха от конгресна надпревара, решена с 369 гласа. Машините нямаха хартиен запис. Федералните одиторски власти не можаха да намерят неправилност, но те също не можаха да я изключат — защото нямаше нищо независимо за проверка. Словото на машините беше всичко, което имаше.

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

Какво наистина означава „доставчикът го потвърди"

Ето версия на събитията, която звучи успокояващо: избирателната власт провежда броенето, доставчикът сертифицира системата, одит потвърждава резултата, и Държавният секретар обявява, че всичко съвпадна.

Сега ето по-трудната версия: избирателната власт обявява резултат. Доставчикът сертифицира система преди изборите, не конкретното броене след това. Одитът се провежда от същата власт, която държи бюлетините. Обявлението на Държавния секретар се основава на доклади от тази власт. Всяка връзка в тази верига на потвърждение минава през същия набор ръце.

Това не е теория за заговор. Това е просто описание на това как действително работят повечето избирателни одити. Одиторите често са надеждни, внимателни и действат добросъвестно. Но „надеждни хора го потвърдиха" не е същото като „всеки може независимо да го провери," и тези две неща не са взаимозаменяеми, когато резултатът е близо или оспориван.

Федералният конституционен съд на Германия е проведе точно тази граница през 2009 г., постановявайки, че електронното гласуване е легитимно само когато обикновени граждани — не само специалисти — могат да разглеждат всяка съществена стъпка на броенето за себе си. Не защото Съдът подозира измама. Защото резултат, който изисква експертиза за проверка, и че експертизата живее само при властта, управляваща броенето, не отговаря на минималния стандарт на публично, демократично гласуване.

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

Тестовия случай на Демократична република Конго: когато наблюдателите не могат да влязат

През ноември 2011 г. Демократична република Конго проведе президентски и законодателни избори. Мисията на Европейския съюз за наблюдение на избори беше на място, разместена по целата страна. Нейният окончателен доклад стигна до заключение, което трябва да се чете заедно с венецуелския: резултатите не бяха достоверни.

Това, което намери мисията на ЕС, не беше предпазване на избирателен бюлетин пред камерата. Това беше структурна непрозрачност. Избирателната комисия нямаше прозрачност в това как компилира и публикува предварителни резултати на местно и национално ниво. На наблюдателите беше отказан достъп до съответните решения на съда, които трябваше да уредят спорове. Липсата на функциониращ конституционен съд означаваше, че нямаше независимо тяло да разглежда броенето публично.

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

Това е ДРК през 2011 г. Това е Венецуела през 2017 г. И това, в по-малко драматичен регистър, е всяка система за избори, която публикува окончателен общ брой без публикуване на записите на ниво избирателен район, машинно четими, тампер-очевидни, които ще позволят на всяка заинтересована лица да се съгласят с общия брой сами.

Обявяването на победител не е доказване на броенето. Това са различни неща.

Защо словото на доставчика никога не е трябвало да е достатъчно

Изявлението на Smartmatic от 2017 г. беше необикновено именно защото доставчиците почти никога не казват това. Структурата на стимулите работи изцяло в другата посока: доставчик, чиято система е свързана със спорен резултат, губи договори. Публичното говорене беше, търговски, акт на самоунищожение.

Но дори ако всеки доставчик в всеки избор беше еднакво готов да каже неприятни истини, показанията на доставчика не са независима проверка. Доставчик познава собствената си система. Не познава какво направи избирателната власт с резултата след като системата го предаде. Не може да одита предаването, агрегирането, окончателната компилация. В Венецуела Smartmatic можеше да каже, че обявеното число е грешно. Не можеше да произведе провереното число.

Тази разлика — между „нещо е грешно" и „ето какво е правилно и ето доказателството" — това е което независима, криптографски проверима архитектура за одит е предназначена да затвори. Не чрез доверие на доставчика. Не чрез доверие на властта. Чрез публикуване на записи, които са тампер-очевидни по конструкция, така че всяка страна — журналист, кандидат на опозицията, чужд наблюдател, член на общественоста — да може да провери числата самостоятелно и да стигне до същия отговор.

Колорадо проведе първи в САЩ окръжен одит с ограничен риск през 2017 г. Процесът генерира статистическо доказателство — свързано с физически хартиени бюлетини — което всеки статистик можеше да репликира. Джорджия ръчно преброи приблизително пет милиона президентски бюлетини през 2020 г. Хартията съществуваше; броенето беше публично; методологията беше проверима. Това е по-добре от нищо. Това не е таван.

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

Какво все още не е проверимо — и какво би го променило

Ето какво никой извън венецуелското правителство не е могъл независимо да потвърди от 30 юли 2017 г.: действителната явяемост на изборите за Национално учредително събрание.

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

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

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

Доставчик никога повече не трябва да е този, който да каже: вярвайте ми, числото е грешно. Архитектурата трябва да го направи проверимо за всички.

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

Източници

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