Skip to main content
New
Stack Overflow Jobs powered by Indeed: A job site that puts thousands of tech jobs at your fingertips (U.S. only). Search jobs
Andrea Farneti's user avatar
Andrea Farneti's user avatar
Andrea Farneti's user avatar
Andrea Farneti
  • Member for 2 years, 7 months
  • Last seen more than 1 year ago
1 vote
1 answer
374 views

Why Zk-SNARKs are Argument of Knowledge if a Knowledge Extractor exists?

6 votes
2 answers
1k views

Is "Witness" and "Proof" the same thing when talking about Zero Knowledge? What about "argument"? And "statement"?

0 votes
0 answers
92 views

What are the main attacks that can be done against a ZK Σ-protocol like Schnorr's identification scheme?

2 votes
0 answers
155 views

Difference between an authentication scheme and a identification scheme in ZK proofs?

0 votes
1 answer
199 views

How to prove that the Fiat-Shamir identification scheme is zero-knowledge?

4 votes
1 answer
629 views

What's the main difference between the Schnorr identification scheme and its Smart-Card implementation?

7 votes
1 answer
597 views

Why Zero-Knowledge protocols are used for NP problems if IP is the class of interactive proof systems where they come from?

3 votes
1 answer
529 views

problem with a discrete logarithm/cyclic groups example... can anyone clarify this concept for me?