Abstrakt. Vi presenterar den kryptografiska implementeringen av "DEMOS", ett nytt e-votingsystem som är kontrollerbart från början till slut i standardmodellen, dvs. utan ytterligare "setup" antagande eller tillgång till ett slumpmässigt orakle (RO). Tidigare kända verifierbara e-votingsystem från end-to-end krävde sådana ytterligare antaganden (särskilt förekomsten av en "randomness beacon" eller visades endast i RO-modellen). För att analysera vårt schema tillhandahåller vi också en modellering av verifiabilitet från början till slut samt integritet och mottagningsfrihet som omfattar tidigare definitioner i form av två koncisa attackspel. Vårt system uppfyller end-to-end verifiability information teoretiskt i standardmodellen och integritet / mottagande-frihet under en beräkning antagande (subexponentiell beslut Diffie Helman). I vår konstruktion, använder vi ett antal tekniker som används för första gången i samband med e-fakturering system som inkluderar att utnyttja slumpmässighet från bitfixing källor, noll-kunskap bevis med bristfällig kontrollör slumpmässighet och komplexitet hävstångseffekt.
DEMOS REF är ett verifierbart e-faktureringssystem, som introducerar den nya idén om att extrahera utmaningen med protokollen med nollkunskapsbevis från väljarnas slumpmässiga val. Vi utnyttjar också denna idé i vårt system.
End-to-End Verifiable Elections in the Standard Model
{'venue': 'EUROCRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}