University of Birmingham > Talks@bham > Computer Security Seminars > Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Andreea Radu.

In this talk, I will describe a zero-knowledge argument for arithmetic circuit satisfiability with a communication complexity that grows logarithmically in the size of the circuit. The security of our argument relies solely on the well-established discrete logarithm assumption, and a crucial component is a new proof-of-knowledge for openings of committed values. I will provide some intuition about how the argument works, details of our implementation, and challenges for future research.

This talk is part of the Computer Security Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.