Tittel: Zero-knowledge protocols for proof of correct shuffle using lattices

Veileder: Kristian Gjøsteen

Sammendrag: Hovedformålet med denne oppgaven er å studere protokoller for kunskapsløse bevis av korrekt omstokking ved bruk av gitter. For å forstå utregningene gjort i protokollene og hvorfor protokollene er sikre, har vi dedikert et kapittel til å studere ringstrukturen til gittere. Deretter går vi videre til å studere to eksisterende protokoller for bevis av korrekt omstokking før vi gir et forsøk på å konstruere et nytt kunskapsløst bevis for omstokking ved bruk av permutasjonsmatriser.