are public Each step checks the previous one Four eyes on data entry Digital track checks the paper track Calculations checked by hand Data analysis by the Electoral Council All results online, can be checked by everyone 11
voters 100K volunteers 10K polling stations 342 municipal polling committe 20 electoral district polling committee 1 central polling committee Software is used to add up all results! 12
EML fles SIGNATURE DATA ENTRY Validation Data analysis Polling Station Chairperson Signature Municipal Certifed Elections Results Results, Statements, Complaints voor verkiezingsuitslagen en zetelverdeling Software EXPORT Results XML EML Certifed Election Results PDF 14
1e invoer Is er herteld? Lijst 1 - Vurige Vleugels Partij Aantal kiezers en stemmen Nummer Aantal stemmen Kandidaat Verschillen 1 0118 Zilverlicht, E. (Eldor) Lijst 1 - Vurige Vleugels Partij 2 999 Donderbrul, M. (Marco) Lijst 2 - Wijzen van Water en Wind Lijst 3 - Eeuwenoude Aarde Unie 3 881 Fluisterwind, E. (Eric) Lijst 4 - Verbond van Licht en Le v e Lijst 5 - Nieuwe Horizon Beweging 4 99 Nachtschaduw, R. (Ravian) Lijst 6 - VRG 5 91 Stormvleugel, G. (Giselle) Lijst 7 - Harmonie van Hemel en A arde Lijst 8 - Stralende Sterren Alliantie 6 19 Sterrenzwerver, E. (Ella) Lijst 9 - Tijdloze Toekomst Partij 7 725 Maanfl uisteraar, N. (Nicole) Lijst 10 - Kosmische Kracht Coali ti e Lijst 11 - Magische Melodieën Bew eging 8 — Windzanger, C. (Carlo) Lijst 12 - Zilveren Zonnestralen Pa r tij Lijst 13 - M stieke Maanlicht Liga 9 3 Vuurvlinder, Y . (Y vonne) 10 4 Rotsbreker, H. (Helga) 11 Zonnewende, L. (Luna) 12 — Groenhart, T. (Timo) 13 — Veldbloem, N. (Naima) Controleren en opslaan Lijst 14 - Levendige Luchtverenigi n g Lijst 15 - Betoverende Bloesem B o nd Lijst 16 - Dromerige Drakenkliek Lijst 17 - Fantastische Flora Feder a tie Lijst 18 - Eindeloze Energie Ense m ble Lijst 19 - Sprankelende Sterrenst of Sam Kuijpers (invoerder) Afmelden 16 Invoer afbreken 16
der Velden Steminvoer bezig (coördinator) Schorsen Afmelden Afronden Statusoverzicht steminvoer Stembureaus per status Fouten en waarschuwingen (5) Niet afgeronde invoer (5) In onderzoek (3) Invoer bezig (6) Eerste invoer klaar (5) Eerste en tweede invoer klaar (123) Werkvoorraad (154) Voortgang Bezwaren en bijzondernehden Presentielijst Stembureaus Invoer met fouten en waarschuwingen (5) Nummer Stembureau 341 Schoolstraat 78 2e invoer 132 Fluisterbosdreef 8 1e invoer 47 Beatrixstraat 19 1e invoer 16 Zonnebloemstraat 18 15 Nachthemelstraat 21 2e invoer Te controleren Verschil 1e en 2e invoer Controleer 2 waarschuwingen Controleer 1 waarschuwing Beoordeel bezwaren en bijzonderheden Verschil 1e en 2e invoer Niet afgeronde invoer (3) Nummer Stembureau 341 Schoolstraat 78 2e invoer 132 Fluisterbosdreef 8 1e invoer 47 Beatrixstraat 19 1e invoer Invoerder 18 Sara van Houten 21 Leila de Jong 12 Sohie van i jk Nummer Stembureau 4 Beatrixstraat 19 Invoerder 18 Sara van Houten f gerond om 1526 17
aan de volgende transparantievereisten: a. de programmatuur wordt als open source ontwikkeld en maakt gebruik van open standaarden; b. de standaardprogrammatuur waarvan gebruik wordt gemaakt is vrij verkrijgbaar; c. het intellectueel eigendom van de maatwerkprogrammatuur berust bij de Staat; d. de uitslagprogrammatuur is geschreven in een programmeertaal, waarvoor een door een actieve gemeenschap onderhouden open source programma om broncode naar machinecode te vertalen beschikbaar is; en e. de functies die in de uitslagprogrammatuur voorzien in het optellen van stemtotalen en het bepalen van de zetelverdeling zijn als zodanig herkenbaar en kunnen zelfstandig getest worden. *) We also welcome contributions! 18
Building and testing with users UX research and design Practise runs User group https://github.com/kiesraad/abacus https://social.overheid.nl/@kiesraad “You cannot be too curious!” 19
(SQLite) Users The frontend is the web application used by the users. Built in TypeScript+React. The backend is the server application that contains the logic of the system. Built in Rust. The database manages the storage of the system's data. SQLite has been chosen. 22
sqlx for database Typst for PDF generation quick-xml for XML import/export Serde for serializing and deserializing .. and some other (smaller) crates 25
processes Cooperation with policy makers and legal adds a lot of quality Working with users during the design and testing is inspiring Knowledge available within the organization “This is a two slice Sunbeam toaster” by Donovan Govan, CC BY-SA 3.0 28
praseodym
vanstee
inesmontani
kastner
michielstock
marktimemedia
soudai
ipullrank
codingconduct
dougneiner
keavy
![github.com/kiesraad/abacus social.overheid.nl/@kiesraad [email protected]](https://files.speakerdeck.com/presentations/6a25c1a071d540eaae78ec0f2cc37ea6/slide_29.jpg){kind=link}