Teknisk beskrivning av resultatfiler

Resultatet levereras i två zip-filer. Den ena zip-filen innehåller data från den preliminära rösträkningen, som sker redan på valkvällen och fortsätter under onsdagen efter valdagen (uppsamlingsräkning av sent inkomna förtidsröster och brevröster), medan den andra filen innehåller data från den slutliga rösträkningen som pågår under hela veckan efter valdagen.

Zip-filerna innehåller resultatet uppdelat i tre olika filtyper: röstfördelning, mandatfördelning och summering – alla i json-format. Storleken på zip-filerna rör sig runt några enstaka MB. Respektive json-fil kan däremot uppackad gå mot 150 MB. Json-filerna kommer även att kompletteras med sha256-filer för validering.

Zipfil för preliminärt räkningstillfälle

Uppdateras kontinuerligt med valresultat som räknas under valkvällen och in på natten mot måndagen. Efter valnattsräkningen pausas uppdateringarna men återupptas under uppsamlingsräkningen följande onsdag, då de sena förtidsrösterna räknas.

Observera att det första preliminära valresultatet kommer att levereras när samtliga vallokaler i EU har stängt kl. 23.00.

Endast så kallade rapportpartier (partier som förväntas kunna ta mandat) ingår i det här räkningstillfället. Personröster redovisas inte.

EU-val_2024_preliminar_00_E.zip innehåller:

• EU-val_2024_preliminar_mandatfordelning_00_E.json
• EU-val_2024_preliminar_mandatfordelning_00_E_sign.sha256
• EU-val_2024_preliminar_rostfordelning_00_E.json
• EU-val_2024_preliminar_rostfordelning_00_E_sign.sha256
• EU-val_2024_preliminar_summering_00_E.json
• EU-val_2024_preliminar_summering_00_E_sign.sha256

Zipfil för slutligt räkningstillfälle

Uppdateras kontinuerligt med det slutliga valresultatet med start på måndagen efter valet tills räkningen är klar och resultatet fastställt. Uppdateringarna av det slutliga resultatet kommer alltså att överlappa med uppdateringarna av det preliminära resultatet. Innan resultatet är fastställt bör även dessa siffror behandlas som ett preliminärt resultat.

Samtliga partier ingår i det här räkningstillfället och personröster redovisas.

• EU-val_2024_slutlig_00_E.zip innehåller:
• EU-val_2024_slutlig_mandatfordelning_00_E.json
• EU-val_2024_slutlig_mandatfordelning_00_E_sign.sha256
• EU-val_2024_slutlig_rostfordelning_00_E.json
• EU-val_2024_slutlig_rostfordelning_00_E_sign.sha256
• EU-val_2024_slutlig_summering_00_E.json
  EU-val_2024_slutlig_summering_00_E_sign.sha256

Röstfördelningsfil

Innehåller röster per valdistrikt och alla metadata om rapporteringen på valdistriktsnivå. Filerna för det slutliga räkningstillfället kommer även att innehålla personröster.

Mandatfördelning

Innehåller röster aggregerade på riksnivå för att kunna genomföra mandatfördelningen. Filerna för det slutliga räkningstillfället kommer även att innehålla namn på valda och ersättare, samt de data som behövs för att utse dessa.

Summering (under utveckling)

Innehåller summering på nivåer (exempelvis kommun och län) som inte krävs för att räkna ut valresultat och mandatfördelning, men som kan vara av intresse för allmänheten.

Såväl zip- som json-filer är döpta enligt följande mönster:

1. Valets namn ”EU-val_2024”.
2. Räkningstillfälle, ”preliminär” eller ”slutlig”.
3. Valområdeskod. Endast koden ”00” är aktuell för val till EU-parlamentet.
4. Valtillfälleskoden E.

Inför valet 2022 tillhandahöll vi en indexfil (index.md5) för att se vilka resultatfiler som uppdaterats. Då behövde man inte ladda ner 622 zip-filer varje gång och kunde spara bandbredd. Inför valet till EU-parlamentet har vi bara två filer och förfarandet med indexfilen är valfritt. Vill man utveckla eller återanvända indexfilsfunktionaliteten så beskrivs det här. Om inte kan man åtminstone använda filen för att bekräfta var resultatfilerna är belägna.

Indexfilen ger dig information om vilka resultatfiler som finns att ladda ner, dess relativa sökväg samt en checksumma. Jämför checksumman inför varje nedladdning och avgör på så sätt vilka filer som behöver uppdateras.

Exempel

Indexfilen ”index.md5” innehåller i normalfallet två rader, en rad per valområde (ett valområde för EU-valet) och räkningstillfälle (preliminär eller slutlig). Tanka hem den först.

# GET https://resultat.val.se/resultatfiler/euval2024/index.md5

$ cat ./resultatfiler/euval2024/index.md5

721fbd8bea159b87dc4857d737e34f14 ./p/e/EU-val_2024_preliminar_00_E.zip

7167df1b70dc7a015e8d9621f8150e76 ./s/e/EU-val_2024_slutlig_00_E.zip

Genom att jämföra index-filer går det sedan att identifiera de filer som har ändrats, till exempel så här:

$ diff index.md5 tmp/index.md5 | grep "^>" | cut -d* -f2

./p/e/EU-val_2024_preliminar_00_E.zip

./s/e/EU-val_2024_slutlig_00_E.zip

Genom att följa dessa instruktioner kan man säkerställa valresultatfilernas autenticitet och att filerna inte har modifierats av någon utomstående.

Varje valresultatsfil i en zip-fil ska ha en motsvarande signaturfil med identiska namn förutom att ändelsen slutar på "_sign.sha256" istället för ".json". Till exempel: En fil med namnet "EU-val_2024_slutlig_mandatfordelning_00_E.json" ska ha en motsvarande signaturfil som heter "EU-val_2024_slutlig_mandatfordelning_00_E_sign.sha256".

Dessa signaturfiler kan i kombination med en publik nyckel användas för att validera äktheten med hjälp av exempelvis OpenSSL. Den publika nyckeln tas fram genom att först ladda ner ett certifikat från Valmyndighetens webbplats:

https://resultat.val.se/keys/val-sign-crt.pem Länk till annan webbplats.

Skriv sedan följande kommando i din terminal (notera att OpenSSL måste vara installerat på din dator):

openssl x509 -pubkey -noout -in val-sign-crt.pem > publik_nyckel.pem

Därefter kan valresultatfilernas autenticitet valideras genom att skriva följande kommando:

openssl dgst –sha256 -verify <publiknyckel> -signature <signaturfil> <resultatsfil>

Exempelvis så här:

openssl dgst –sha256 -verify publik_nyckel.pem –signature EU-val_2024_slutlig_mandatfordelning_00_E_sign.sha256 EU-val_2024_slutlig_mandatfordelning_00_E.json

Filen är autentisk om OpenSSL svarar med "Verified OK". Om OpenSSL svarar med "Verified Failure" har antingen något verifikationssteg gått fel eller så har filerna modifierats från någon utomstående part.

Genom att följa dessa instruktioner kan du säkerställa valresultatfilernas autenticitet – och att filerna inte har modifierats av någon utomstående person eller grupp.

Valresultatfilerna ska ha en motsvarande signaturfil

Varje valresultatsfil i en zip-mapp ska ha en motsvarande signaturfil med identiska namn förutom att ändelsen slutar på "_sign.sha256" istället för ".json". Till exempel en fil med namnet "Val_20220912_slutlig_mandatfordelning_00_RD.json" ska ha en motsvarande signaturfil som heter "Val_20220912_slutlig_mandatfordelning_00_RD_sign.sha256".

Dessa signaturfiler kan, i kombination med en publik nyckel, användas för att validera äktheten med hjälp av till exempel OpenSSL. Det är ett verktyg med öppen källkod som bland annat används för allmän kryptografi och säker kommunikation.

Skapa publik nyckel och skriv kommando

Den publika nyckeln tas fram genom att först ladda ner ett certifikat från Valmyndigheten.

Ladda ner certifikat Länk till annan webbplats.

Certifikatet behövs för att generera nyckeln och sedan skriva följande kommando i din terminal. (notera att OpenSSL måste vara installerat på din dator):

“openssl x509 -pubkey -noout -in val-sign-crt.pem > publik_nyckel.pem”

Därefter kan valresultatsfilernas autenticitet valideras genom att skriva följande kommando:

"openssl dgst -sha256 -verify <publiknyckel> -signature <signaturfil> <resultatsfil>"

På följande sätt kan det se ut med infogade exempelfiler:

"openssl dgst -sha256 -verify publik_nyckel.pem -signature Val_20220912_slutlig_mandatfordelning_00_RD_sign.sha256 Val_20220912_slutlig_mandatfordelning_00_RD.json"

OpenSSL verifierar om filen är autentisk eller inte

Filen är autentisk om OpenSSL svarar med "Verified OK". Om OpenSSL svarar med "Verified Failure", har antingen något verifikationssteg utförts ofullständigt eller har filerna modifierats från någon utomstående part.

Bekräfta certifikatets autencitet

Certifikatet är utfärdat av ExpiTrust till Valmyndigheten och detta går att bekräfta genom att ladda ner ExpiTrust EID CA v4 certifikatet från https://eid.expisoft.se/nya-ca/expitrust-eid-ca-v4/ och skriva följande kommandon i din terminal:

“openssl x509 -inform der -in ExpiTrust-EID-CA-v4.cer -out ExpiTrust-EID-CA-v4.pem”

“openssl verify -CAfile ExpiTrust-EID-CA-v4.pem val-sign-crt.pem”

Om OpenSSL svarar med ”val-sign-crt.pem: OK” är allt som det ska och certifikatets härkomst och autenticitet har verifierats.

Består i huvudsak av fält som motsvarar mandatfördelningsfilen men ett par fält kan behöva nämnas.