baro77's user avatar
baro77's user avatar
baro77's user avatar
baro77
  • Member for 2 years, 11 months
  • Last seen more than a month ago
5 votes
2 answers
992 views

Relation between Knowledge extractor and soundness in ZKPoK

3 votes
0 answers
168 views

Use of term "Commitment"

1 vote
0 answers
52 views

About SNARKs general recipes (regarding required assumptions)

1 vote
0 answers
45 views

"tunable" trapdoor function

1 vote
0 answers
44 views

Proving stategies for computational properties

1 vote
1 answer
157 views

Honest players in ZKP proofs

1 vote
0 answers
34 views

ZK: Repetitions to lower simulator halt probability

0 votes
1 answer
139 views

assumption needed to work in Generic Group Model