Proof‑of‑work algorithm based on finding cycles in large graphs, designed to be memory bound.