### Non-Interactive Proofs of Proof-of-Work Implementation of Non-Interactive Proofs of Proof-of-Work (FC 20 published version)[https://fc20.ifca.ai/preproceedings/74.pdf]