All Questions
2 questions
0
votes
0
answers
29
views
What are the main steps for proving the soundness of zk-SNARKs?
I’m currently researching zero-knowledge proofs, specifically zk-SNARKs, and I’m interested in understanding the process of proving their soundness.
Could someone outline the main steps or provide an ...
1
vote
0
answers
225
views
Extractor in knowledge-soundness vs extractor in witness-extended emulation
In the knowledge soundness definition page 8 of Groth16, it says: The extractor gets full access to the adversary’s state, including any random coins. My question is why full access? Why we just don't ...