Concurrency and Zero-Knowledge Protocols

1
ConcurrencyandZero-Knowledge Protocols

• Amit Sahai
• MIT Laboratory for Computer Science

2
Zero-knowledge Proofs GMR85

• One party (the prover) convinces another
  party (the verifier) that some assertion is
  true,
• The verifier learns nothing except that
  assertion is true!
• Vast applicability throughout Cryptography
• Identification / Authentication Protocols
• High-Level Protocols of all kinds

3
Standard Model

• Almost all previous research assumes
• Mutually aware parties
• Sequential communication
• At most 2 parties communicating at any given time

4
Standard Model

• Almost all previous research assumes
• Mutually aware parties
• Sequential communication
• At most 2 parties communicating at any given time

5
Standard Model

• Almost all previous research assumes
• Mutually aware parties
• Sequential communication
• At most 2 parties communicating at any given time

6
Standard Model

• Almost all past research assumes

7
Frontiers
Theory of Zero Knowledge
8
Frontiers
Theory of Zero Knowledge