Zero-Knowledge (ZK) proofs are a fundamental building block to design advanced cryptographic schemes for privacy-related purpose. An example of such schemes, can be group signatures, which allow users to sign on behalf of a group they previously enrolled in, while keeping their identities private inside the group and finally staying accountable for the signatures they provide. We will present some constructions of ZK proofs from lattice assumptions and use them in the construction of privacy-friendly protocols along with their security proofs.
Some knowledge of the following is required:
Symmetric and asymmetric primitives and their associated security definitions
The exam is given in english only
The course exists in the following branches:
Curriculum - Master in Computer Science - Semester 9 (this course is given in english only )
Curriculum - Master in Applied Mathematics - Semester 9 (this course is given in english only )