A Correct Shuffle Using Product Proofs A Lattice-Based Zero-Knowledge Approach

Abstract

Formålet med denne oppgaven er å benytte seg av gitterbaserte kunnskapsløse bevis for å konstruere en omstokk for et sett med chiffertekster. Vi bygger oppgaven fra bunn av med å introdusere de matematiske forkunnskapene og viktige begrepene som trengs. Deretter fortsetter vi med å studere to forskjellige metoder for en omstokk, for så å prøve å bygge videre på dette for å skape en mer optimalisert protokoll. Til slutt gir vi en sammenligning og diskuterer brukbarheten ved konstruksjonene vi har sett på.

This thesis aims to leverage lattice-basd zero-knowledge proofs to construct a shuffle for a set of ciphertexts. We build the thesis from the ground up by introducing mathematical preliminaries and important notions. Then proceed with studying two main approaches to constructing a correct shuffle and, from there, try to build upon known work to create a better protocol. In the end, we compare the different methods and discuss practicality.