search

dionyziz / popow

Research and implementation for non-interactive blockchain proofs of proofs of work
49 stars 6 forks source link

Improve security definition #24

Open dionyziz opened 7 years ago

dionyziz commented 7 years ago

The security definition contains a free variable r for the round. It should be quantified with a \forall quantifier.