search

dionyziz / popow

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

Make security theorem statement more precise #23

Open dionyziz opened 7 years ago

dionyziz commented 7 years ago

The security statement for NIPoPoW is too broad. First, the claim that it has the security property should be made only with overwhelming probability. Second, it should state which predicates it is capable of being secure for.