#StackBounty: #zero-knowledge-proofs #provable-security #security-definition Reduction to security of proof system for proving knowledge

Bounty: 50

I want to prove security of my system by reduction to the security of an underlying
non-interactive proof system for proving knowledge. I know a game that captures the
desired security property of my system, and I want to reduce to an adversary’s
inability to produce a non-interactive proof without a witness (since possession of the witness
suffices to win the aforementioned game), which games capture suitable properties of
non-interactive proof systems?

Get this bounty!!!

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.