Cryptographic methods for secure delegation of computation in electronic voting applications

摘要

Este Trabajo de Fin de Gradoudcomprende un estudio teóricoudde los esquemas de votoudelectrónico, desde un punto de vistaudcriptográfico. Concretamente, trata deudencontrar en las pruebas SNARK unaudalternativa más barata (en cuanto audcomunicación y computación) a losudprotocolos actuales de verificación deudbarajado de votos, los cuales resultanudinviables en la práctica.---ABSTRACT---This Present Final Term Projectudcomprises a theoreticallyudoriented study on electronicudvoting schemes, fromthe point of viewudof cryptography. Concretely, it aimsudto find in SNARK proofs a cheaperudalternative (both communication andudcomputation) over current verifiableudshuffling protocols for ballots, whichudturn out unfeasible in practice.