Go to Main Content

Georgetown University


Detailed Course Information


Fall 2017
Sep 28, 2022
Transparent Image
Information Select the desired Level or Schedule Type to find available classes for the course.

COSC 544 - Probabilistic Proof Systems
Classically, a mathematical proof of a theorem is something that can be written down and efficiently checked line by line. However, over the last 30 years, computer scientists have introduced a variety of nonclassical notions of proofs. These can be broadly described as "probabilistic proof systems", because they fundamentally involve randomness. The study of probabilistic proof systems has led to many exciting developments in cryptography and theoretical computer science over the last three decades.

This course will describe a variety of probabilistic proof systems and their applications to cryptography and complexity theory. Topics include interactive proofs, multi-prover interactive proofs, probabilistically checkable proofs, zero-knowledge proofs, and proofs secure against computationally bounded provers (i.e., argument systems). Particular attention will be devoted to recent applications of probabilistic proof systems to cloud computing and cryptocurrencies. There are no formal prerequisites for this course. However, mathematical maturity will be expected.  

3.000 Credit hours
3.000 Lecture hours
0.000 Lab hours

Levels: MN or MC Graduate, Undergraduate
Schedule Types: Lecture

Computer Science Department

Must be enrolled in one of the following Levels:     
      MN or MC Graduate
Must be enrolled in one of the following Fields of Study (Major, Minor, Concentration, or Certificate):
      Computer Science

Return to Previous New Search
Transparent Image
Skip to top of page