All Questions
Tagged with complexity snarks
3 questions
3
votes
0
answers
55
views
Linear Verification time for zk-SNARKs?
I've come across this paper that benchmarks the efficiency of zk-SNARKs, zk-STARKs and Bulletproofs.
The table on page 8 states that the verification time for zk-SNARKs is linear in the size of the ...
- 111
1
vote
1
answer
61
views
How is succinct verification for transparent SNARKs possible?
I am a bit confused as to how succinct verification is possible with transparent SNARKs (i.e., SNARKs without trusted setup).
As I understand it, a transparent SNARK proof $\pi$ allows a verifier ...
- 315
2
votes
1
answer
204
views
Question about P and NP problem
There is a definition for NP shown below. Could anyone please explain why "By restricting the definition of NP to witness strings of length zero, we capture the same problems as those in P."?...
- 73