Microsoft har meddelat ett ambitiöst försök att göra röstningen säker, verifierbara och föremål för tillförlitliga granskningar genom att registrera omröstningar i krypterad form så att de kan spåras exakt och oberoende långt efter att de har gjorts.

Två av de tre bästa amerikanska valleverantörerna har uttryckt intresse för att eventuellt införliva programvaran med öppen källkod i sina röstsystem.

Programvaran utvecklas med Galois, ett Oregon-baserat företag som separat skapar en säker prototyp för röstningssystem enligt kontrakt med Pentagons avancerade forskningsbyrå, DARPA. Dubbade "ElectionGuard, "den kommer att finnas tillgänglig i sommar, Microsoft säger, med tidiga prototyper redo att testa inför nästa års allmänna val i USA.

VD Satya Nadella tillkännagav initiativet måndag vid en utvecklarkonferens i Seattle, säger att mjukvaruutvecklingssatsen skulle hjälpa "att modernisera all valinfrastruktur överallt i världen."

Tre lite kända amerikanska företag kontrollerar cirka 90 procent av marknaden för valutrustning, men har länge mött kritik för dålig säkerhet, föråldrad teknik och otillräcklig transparens kring sina egna, black-box omröstningssystem.

Programvara med öppen källkod är i sig säkrare eftersom den underliggande koden lätt granskas av externa experter men har undvikits av de dominerande leverantörerna vars kunder-nationens 10, 000 valjurisdiktioner - är mestadels förankrade i kontanter.

Ingen erbjöd bud när Travis County, Texas, hem till Austin, försökte bygga ett system med "end-to-end" verifieringsattributen som ElectionGuard lovar att leverera.

Två av de ledande leverantörerna, Valsystem och programvara från Omaha, Nebraska, och Hart InterCivic i Austin, Texas, båda uttryckte intresse för att samarbeta med Microsoft för ElectionGuard. En taleskvinna för en tredje leverantör, Dominion Voting Systems i Denver, sade företaget ser fram emot att "lära sig mer" om initiativet.

Alla med ett befintligt röstsystem eller som utvecklar ett nytt kommer att kunna införliva ElectionGuard - på statlig eller lokal nivå i USA eller nationell nivå för jurisdiktioner utomlands.

"När inträdesbarriären är tillräckligt låg, förhoppningsvis kommer en av leverantörerna att göra det, och det kommer att ta in resten av dem snabbt nog, "sa Dan Wallach, en datavetenskapare från Rice University som hjälpte Travis County.

"Den kan användas med en röstmarkeringsenhet. Den kan användas med en optisk skanner, på handmarkerade papperssedlar, "sa Josh Benaloh, en senior kryptograf på Microsoft Research och nyckelbidragsgivare till projektet ElectionGuard. Benaloh hjälpte till med att ta fram en National Academies of Science -rapport förra året som krävde en brådskande översyn av det elaka USA -valsystemet, som ryska hackare infiltrerade 2016 i flera stater.

Den rapporten krävde att alla amerikanska val skulle hållas om mänskligt läsbara pappersröst senast 2020. Den förespråkade också en specifik form av rutinmässiga eftervalskontroller för att säkerställa korrekta röstetal-ett krav som "end-to-end" röstverifiering uppfyller.

Valintegritetsaktivisten Susan Greenhalgh från National Election Defense Coalition sa att hon hoppades att det skulle uppmuntra till innovativt tänkande på den nivå valen faktiskt hanteras.

"Vi kan inte ha trosbaserad röstning längre, "sa hon." Detta är ett stort steg framåt för att verifiera valresultat. "

ElectionGuard låter väljarna bekräfta att deras röster är korrekt registrerade. Bortom det, den unika kodade spåraren som den producerar registrerar en krypterad version av omröstningen som håller själva röstvalet hemligt samtidigt som rösterna räknas exakt.

Det möjliggör pålitliga eftervalskontroller och återberättelser.

• 
• 
• 
• 
• 
• 
• 
• 
• 

Det låter också utomstående som valvaktgrupper, politiska partier, journalister - och väljarna själva - verifierar online att röster räknas korrekt utan att ändras.

Microsofts chefer säger att de också planerar att bygga ett prototypröstningssystem som referens.

En valtjänsteman som har varit i informella samtal med projektledarna i ElectionGuard är Dean Logan, som kör val för Los Angeles County, landets mest folkrika, och bygger ett röstsystem för öppen källkod för det.

En spinoff av Galois som kallades Free &Fair utvecklade de sofistikerade eftervalsrevisionerna, känd som "riskbegränsande, "för Colorado, som var den första amerikanska staten som krävde de granskningar som rekommenderades i rapporten National Academies of Sciences.

ElectionGuard är inte utformat för att fungera med internetröstningssystem-som experter anser vara för lätt hackbara-och fungerar för närvarande inte med röst-per-post-system.

ES&S sa till Associated Press via e -post att de var glada över att samarbeta med Microsoft och "fortfarande utforska potentialerna" för att införliva mjukvarukitets röstsystem.

Hart InterCivic, säljaren nr 3, sa att det planerade ett pilotprojekt med Microsoft för att "införliva ElectionGuard -funktionalitet som en extra funktion" som ligger över sin kärnplattform.

En taleskvinna för Dominion, säljaren nr 2, sa "Vi är mycket intresserade av att lära oss mer om initiativet och kunna granska de olika prototyperna som planeras, tillsammans med att höra mer om andra federalt stödda insatser i valutrymmet. "

Edgardo Cortés, en tidigare valkommissionär i Virginia nu med New York Universitys Brennan Center, välkomnade ytterligare stöd från den privata sektorn för valsystem.

"Jag tror att det kommer att ta ett tag att ta tag i och se hur fördelaktigt (ElectionGuard) blir, "sade han." Men jag tror att det verkligen har en stor potential. "

Columbia University kommer att samarbeta med Microsoft för att granska piloterna.

© 2019 Associated Press. Alla rättigheter förbehållna.