Algorithm mapping arbitrary‑length input to fixed‑length output with properties like preimage resistance.