ECDH is an amazing example of layers of abstraction (and not just indirection) -- you have an algorithm working on points on the curve, which have their own mat

ECDH is an amazing example of layers of abstraction (and not just indirection) -- you have an algorithm working on points on the curve, which have their own math, but the curve is definef over GF which have their own math. Having to deal with that was interesting experience.