dionyziz / popow

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

Security proof Chernoff bound #44

Open dionyziz opened 7 years ago

dionyziz commented 7 years ago

The current security proof is too vague. The exact Chernoff bounds must be stated, parameterized by m and k. The bound will then be in the form e^{-m} + e^{-k} (with various factors) as a union bound.