Find x such that g^x ≡ h (mod p). BSGS: compute baby steps {g^j} and giant steps {h·(g^−m)^i}, find collision. Complexity: O(√p).