Zero-Knowledge Protocols for proof of Correct Shuffle using Lattices

Abstract

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

The main purpose of this thesis is to study zero-knowledge protocols for proof of correct shuffle using lattices. To understand the computations done in the protocols and why the protocols are secure, one chapter is dedicated to studying the ring structure of lattices. We then go over to study two existing protocols to prove a correct shuffle before we give a try to construct a new zero-knowledge protocol for shuffle using permutation matrices.