University of Tartu - ©2011 Rafik Chaabouni - Last update: 26.11.2012 12:11
Date: 28/11/2012 Location: J. Liivi 2, room 317 (next to the coffee room)
Speaker: Sven Laur
Title: New zero-knowledge techniques and their application in crypto-computing
Abstract:
In this talk, I am going to talk confer two basic paradigms for obtaining a zero-knowledge proofs: challenge-response paradigm and sigma protocols. I will show how these zero-knowledge proof operate in a semihonest setting and what standard techniques are applicable to get security against malicious verifiers. Next, I am going to explain a particular challenge response protocol based on conditional disclosure of secrets and explain what is the easiest way to obtain security against malicious verifiers in this case. After that I discuss what is the main difference between challenge-response and sigma protocol paradigm in terms of composability and what are the basic usage restrictions of resulting protocols in the standard and in the trusted-setup model.