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.
Research and implementation for non-interactive blockchain proofs of proofs of work
dionyziz opened this issue · comments
Lemma: The adversary cannot create superchains of much higher level than the honest parties.