search

dionyziz / popow

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

Split out lemma of low proof level #8

Open dionyziz opened 7 years ago

dionyziz commented 7 years ago

Lemma: The adversary cannot create superchains of much higher level than the honest parties.