Non‑interactive proofs of proof‑of‑work that let lightweight clients verify chain work succinctly.