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

— Satoshi Nakamoto