The proof-of-work function is intentionally hard to compute but easy to verify. — Satoshi Nakamoto