search

dionyziz / popow

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

Infix succinctness theorem #49

Open dionyziz opened 7 years ago

dionyziz commented 7 years ago

The infix construction needs a succinctness theorem, not simply a remark.