Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
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 ...
Nerses Asaturyan's user avatar
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 ...
A.Solei's user avatar
  • 415