El fetiche del código fuente

Por Rui Santos.
Cada vez que se acercan unas elecciones con algún grado de automatización, reaparece la exigencia pública sobre la revisión del código fuente del software. Se le atribuyen propiedades casi mágicas para garantizar la integridad electoral, convirtiéndolo por momentos en el centro del debate. Este enfoque desvía la atención de los mecanismos procedimentales que aseguran la fiabilidad de los resultados democráticos. La opacidad natural de la tecnología genera ansiedad, y los actores políticos suelen canalizar esa ansiedad exigiendo ver el código, asumiendo erróneamente que allí residen todas las respuestas.
El ritual de la custodia
La entrega del código fuente a una autoridad competente se ha convertido en un acto ceremonial recurrente. Se muestra el código fuente a auditores acreditados, se calcula un hash criptográfico tanto del código fuente como de los binarios generados para congelar la versión del software, y se establece un
procedimiento para verificación posterior de que el software usado no haya sido alterado. En muchas ocasiones, se exige incluso que el código sea publicado de forma completamente abierta.
Pedir el código fuente se ha convertido casi en un acto reflejo. La exigencia se extiende incluso a aplicaciones periféricas que no intervienen en la emisión, el registro, el escrutinio ni la consolidación de los votos. La auditoría de código fuente (como cualquier auditoría técnica) pierde sentido cuando no está
vinculada con la propiedad específica que se pretende verificar. Revisar el código de un sistema que no interviene en el escrutinio, con el propósito de garantizar la exactitud y transparencia de los resultados, puede convertirse en un ejercicio meramente performativo e inconsecuente, sin capacidad real para aportar evidencia sobre aquello que se busca comprobar.
El reto de la correspondencia y el costo de oportunidad
Una revisión del código fuente es valiosa para confirmar que la lógica escrita hace lo previsto en un entorno controlado. Luego viene el desafío de demostrar, usando las evidencias generadas durante el proceso de revisión, que el software evaluado durante esa revisión es exactamente el mismo que se compila, se distribuye y se ejecuta en miles de mesas de votación el día de la elección.
Poner un peso desproporcionado en la revisión del código fuente genera un costo de oportunidad significativo. Los partidos políticos, los medios y la ciudadanía pueden perder de vista otro tipo de verificaciones críticas. Las auditorías de telecomunicaciones, las pruebas de estrés de la infraestructura, los
simulacros previos a la elección y la verificación de la cadena de custodia del voto son elementos que requieren la misma o mayor atención de las partes interesadas.
Resultados detectables y la independencia del software
La integridad electoral exige un diseño donde ninguna alteración de los cómputos pase desapercibida. Este principio, conocido como detectabilidad de resultados, requiere generar evidencias verificables en cada fase del proceso. La clave para lograr esto es la independencia del software. Un sistema de votación
es independiente del software si un error o una manipulación intencional en su programación no puede causar un cambio indetectable en el resultado electoral final.
Para alcanzar esta propiedad, el sistema debe producir registros independientes, ya sean físicos o criptográficos, que puedan ser auditados sin depender de la aplicación que los generó. Si el sistema electoral cumple con este marco metodológico, la auditoría del código fuente resulta ser un control complementario. Nunca representa un requisito indispensable para demostrar la validez final de los resultados.
Transparencia y el rol de la fiscalización y observación
El énfasis analítico debe recaer sobre la cadena de custodia del voto, desde su emisión hasta su publicación definitiva. Cada eslabón genera rastros físicos o digitales auditables. Aquí es donde los observadores nacionales e internacionales, junto con los testigos de los partidos, cumplen un papel
indispensable.
Su participación activa preserva la integridad de la cadena de custodia al auditar las evidencias producidas en cada etapa. Su presencia en las mesas, su verificación de las actas impresas y su seguimiento de los procesos de consolidación son los verdaderos garantes del proceso. Estos actores fortalecen la confianza democrática al certificar que los resultados reflejan fielmente la voluntad del elector, con independencia de la plataforma tecnológica subyacente en los procesos de votación, conteo o transmisión y consolidación de resultados. El escrutinio público de las evidencias siempre será superior a la confianza en un algoritmo.
El código fuente en su justa dimensión
Cuestionar el fetichismo del código fuente no equivale a rechazar su revisión. Apoyamos plenamente las auditorías técnicas del software electoral en todas sus etapas. Estas evaluaciones son herramientas valiosas para identificar vulnerabilidades, mejorar la calidad de los sistemas y elevar los estándares de
ingeniería en los procesos electorales. El propósito de este análisis es ubicar el código fuente en su contexto adecuado dentro de la arquitectura de la confianza. Auditar el software es una práctica técnica altamente recomendable. Garantizar la detectabilidad de los resultados mediante evidencias independientes y proteger la cadena de custodia del voto constituyen, en cambio, obligaciones
democráticas irrenunciables.



