dionyziz / popow

Research and implementation for non-interactive blockchain proofs of proofs of work

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Split out lemma of low proof level

dionyziz opened this issue · comments

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